Hola a todos:
La opción javascript sería:
var imgs = ["img1.gif", "img2.gif", "img3.gif"];
function ini() {
document.images["inicio"].src = imgs[Math.floor(Math.random() * imgs.length)];
}
...
<body onload="ini()" >
...
<img src="" name="inicio" />
Saludos
