Lehmer random numbers generator implemented in PHP