Changed back to using the correct random number file