var myPix = new Array("Images/Architecture1.jpg","Images/Architecture2.jpg","Images/Architecture3.jpg","Images/Architecture4.jpg","Images/Architecture5.jpg","Images/Architecture6.jpg");

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