random seed is set globally.