window.onload = function() {
var images = ['/images/1.jpg', '/images/2.jpg', '/images/3.jpg', '/images/4.jpg'];

document.images.mainimage.src = images[Math.floor(Math.random() * images.length)];
};