random number generator, html/javascript