change to high quality random number generator