Hola, Iron_bopp.
Puedes utilizar este código:
Código PHP:
<html>
<head>
<script>
function ini() {
fotos = new Array;
fotos[0]='imagen1.gif';
fotos[1]='imagen2.gif';
fotos[2]='imagen3.gif';
num = Math.floor(Math.random()*fotos.length);
document.body.style.backgroundImage='url('+fotos[num]+')';
}
</script>
</head>
<body onload="ini()">
</body>
</html>
Saludos,