function SwitchImage() {
	var pics = ["images/bannerpic01.jpg","images/bannerpic03.jpg","images/bannerpic04.jpg","images/bannerpic04.jpg","images/bannerpic05.jpg"];
	var ran_unrounded=Math.random()*2;
	var ran_number=Math.round(ran_unrounded); 
	document.getElementById("banner_pic").src = pics[ran_number];
}

function OpenWin(i) {
	window.open("popup.html?pic="+i,"pic","height=480,width=640,status=no,toolbar=no,menubar=no,location=no");
}