PushRandom implemented