use js variable for rand_seed