window.onload = function() {
 var path = 'images/';
 var img = ['img1.jpg', 'img2.jpg', 'img3.jpg', 'img4.jpg', 'img5.gif', 'img6.jpg', 'img7.jpg', 'img8.jpg', 'img9.jpg'];
 document.images.rand.src = path + img[Math.floor(Math.random() * img.length)];
}