//image rotation created on April 5, 2006 
function bannerRotate()
{
 num=imgArray1.length;
 incr=Math.floor(Math.random()*num);
 document.open();
 document.write("<img  src = ' " + imgArray1[incr] + "' alt=\"\"/>"); 
//document.write(ar_text1[incr]);
document.close();
}