Revert random.php