Added random number seed. Not implemented in main code yet.