add seed for random()