Hola
Perrochilensis
Creo que se puede hacer más sencillo:
Código PHP:
<html>
<head>
<script>
var direcciones = new Array("pagina1.htm", "pagina2.htm", "pagina3.htm")
aleat = Math.random() * direcciones.length
aleat = Math.floor(aleat)
window.location=direcciones[aleat]
alert(direcciones[aleat]);
</script>
</head>
<body>
</body>
</html>
A ver si hay suerte y se funciona. Saludos,