window.onload = choosePic;

var myPix = new Array("images/lobby1.jpg","images/lobby2.jpg","images/broom1.jpg","images/broom2.jpg","images/mroom1.jpg","images/mroom2.jpg","images/sroom1.jpg","images/sroom2.jpg","images/tranquil1.jpg","images/tranquil2.jpg");

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