An electronic random number generator