add seed getter util.random.Random