function setPic() {
	var pic = document.getElementById("headerpic");
	
	if (pic) {
		var images = new Array();
		var index;
		
		images[0] = "green.jpg";
		images[1] = "water.jpg";
		images[2] = "sun.jpg";
		images[3] = "sail.jpg";
		images[4] = "sunset.jpg";
		
		index = Math.floor(Math.random() * images.length);
		
		var img = new Image();
		img.src = "/images/" + images[index]
		
		pic.src = img.src;
	}
}

window.onload = setPic;