// rotate corner pics

{
   leftNum=0;
   time=10000
   
   img=new Array()
   img[0]=new Image();
   img[0].src="images/header-left.jpg";
   img[1]=new Image();
   img[1].src="images/header-left2.jpg";
   img[2]=new Image();
   img[2].src="images/header-left3.jpg";
   img[3]=new Image();
   img[3].src="images/header-right.jpg";
   img[4]=new Image();
   img[4].src="images/header-right2.jpg";
   img[5]=new Image();
   img[5].src="images/header-right3.jpg";
   }

function rotatePic(){
if (leftNum<2) leftNum++;
   else leftNum=0;
   rightNum = leftNum+3;
   document.leftimg.src=img[leftNum].src;
   document.rightimg.src=img[rightNum].src;
   setTimeout('rotatePic()', time);
}


var random = Math.random() ;
var startPic = Math.round(random*3)+1;