// JavaScript Document



{  
   pause=0;
   bannerNum=0;
   time=4000;
   
   pic=new Array()
   pic[0]=new Image();
   pic[0].src="images/leftpic1.jpg";
   pic[1]=new Image();
   pic[1].src="images/leftpic2.jpg";
   pic[2]=new Image();
   pic[2].src="images/leftpic3.jpg";
   pic[3]=new Image();
   pic[3].src="images/leftpic4.jpg";
   pic[4]=new Image();
   pic[4].src="images/leftpic5.jpg";
   pic[5]=new Image();
   pic[5].src="images/leftpic6.jpg";
   
  
   }

function rotateBanner(){
if (bannerNum<pic.length-1) bannerNum++;
   else bannerNum=0;
   document.pix.src=pic[bannerNum].src;
   setTimeout('rotateBanner()', time);
}