pic9exp5=new Image();
pic9exp5.src="images/9exp5_new.gif"
pic12popTAJ=new Image();
pic12popTAJ.src="images/12popTAJ_new.gif"
pic1cci=new Image();
pic1cci.src="images/1cci_new.gif"
pic5arTAJ=new Image();
pic5arTAJ.src="images/5arTAJ_new.gif"
pic2vc=new Image();
pic2vc.src="images/2vc_new.gif"
 

adPics = new Array("images/9exp5_new.gif","images/12popTAJ_new.gif","images/1cci_new.gif","images/5arTAJ_new.gif","images/2vc_new.gif")
picCt = adPics.length
 

 function rotateImages() 
		{
			if (document.images) 
		 {
			randomNum = Math.floor(Math.random() * picCt)
								 document.rotateban.src=adPics[randomNum]
			}
			setTimeout("rotateImages()", 5 * 750)
		}