Ho bisogno di uno script in Php semplice semplice: nella cartella /forum/banner/ ho tre file: 1.gif, 2.gif, 3.gif

Devo farli ruotare con un comando random nella pagina index.php
Mi incollate uno script php che potrei inserire?

Grazie