uncommented random number void