Carga aleatoria de imagen en fondo index.html

Hola, estoy creando una web (www.pro-estudio.com/juanjo) y quería saber que tengo que hacer para que cada vez que se abra la primera pág "index.html" se carge una imagen diferente de fondo que tengo preparadas.

muchas gracias

usar php o javascript

Y que tipo de programación es la que se pone en el .html y donde?????

gracias

http://www.w3schools.com/htmldom/dom_obj_style.asp