Update Random.php