	<!-- 
	function swapPic() 
	 { 
	 if(document.getElementById) 
	   { 
	   var thePicture=document.getElementById("header"); 
	   var picPath="images/image_"+rnd(3)+".jpg"; 
	   thePicture.style.background="url("+picPath+")"; 
	   } 
	 } 
	  
	function rnd(n) 
	 { 
	 return Math.floor(Math.random() * n) + 1; 
	 } 
	  
	//-->