// image rotation
window.onload = choosePic;
myPix = new Array("images/new.jpg","images/new1.jpg","images/new2.jpg");
function choosePic() {
	randomNum = Math.floor((Math.random() * myPix.length));
	document.getElementById("myPicture").src = myPix[randomNum];
}