Ayuda con script PHP de rotación de banners

[marcofbb]

Código PHP:

<?php
$mensajes = array(
    'Mensaje aleatorio 1', 
    'Mensaje aleatorio 2',
    'Mensaje aleatorio 3',
    'Mensaje aleatorio 4',
    'Mensaje aleatorio 5',
    'Mensaje aleatorio 6'
);
 
$todo=(count($mensajes)-1);
$num=rand(0,$todo);
echo $mensajes[$num];
?>