window.onload = choosePic;

var myPix = new Array("images/mainimgs/mainimg2_f01.jpg","images/mainimgs/mainimg2_f02.jpg","images/mainimgs/mainimg2_f03.jpg","images/mainimgs/mainimg2_f04.jpg","images/mainimgs/mainimg2_f05.jpg");

function choosePic() {
	randomNum = Math.floor((Math.random() * myPix.length));
	document.getElementById("myPicture").src = myPix[randomNum];
}