function header()
{
document.write("<div><img src='' name='Rotating' id='Rotating1' alt='Singhania University'><script language='JavaScript'>  var ImageArr1 = new Array('img/1.jpg','img/2.jpg','img/3.jpg');  var ImageHolder1 = document.getElementById('Rotating1');  function RotateImages(whichHolder,Start)  {  	var a = eval('ImageArr'+whichHolder);  	var b = eval('ImageHolder'+whichHolder);  	if(Start>=a.length)  		Start=0;  	b.src = a[Start];  	window.setTimeout('RotateImages('+whichHolder+','+(Start+1)+')',1500);  }  RotateImages(1,0); </script></div>");	
}