PHP : Randomly open list of url

<?php

/**

* Created by PhpStorm.

* User: Azathoth

* Date: 29. 3. 2016

* Time: 14:54

*/

$addresses = [

        './room1',

        './room2',

'./room3',

'./room2',

'./room3',

'./room1'

];

$size = count($addresses);

$randomIndex = rand(0, $size - 1);

$randomUrl = $addresses[$randomIndex];

header('Location: ' . $randomUrl, true, 303);

?>