function RotateImages(Start)
  {
  	
	 var Images = new Array('images/index_pic4.jpg',
				  'images/index_pic2.jpg',
				  'images/index_pic3.jpg',
				  'images/index_pic.jpg');
	 var ImageTag = document.getElementById('splash');

	var a = eval("Images");
  	var b = eval("ImageTag");
  	if(Start>=a.length)
  		Start=0;
  	b.src = a[Start];
  	window.setTimeout("RotateImages("+(Start+1)+")",8500);
  }

  RotateImages(0);