// Only for statusbar viewing
function WindowStatus(msgStr) {
	window.status=msgStr;
	document.returnValue = true;
}
function WindowStatusRtn() {
	window.status='';
	document.returnValue = true;
}
//+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
//++++++++++++Used for header rotating banner only+++++++++++++++++++
//+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

  var interval = 3; // delay between rotating images (in seconds)
  var random_display = 0; // 0 = no, 1 = yes
  interval *= 2000;  
  var image_index = 0;
  image_list = new Array();
  image_list[image_index++] = new imageItem("http://"+window.location.hostname+"/images/Banner/3.jpg");
  image_list[image_index++] = new imageItem("http://"+window.location.hostname+"/images/Banner/1.jpg");
  image_list[image_index++] = new imageItem("http://"+window.location.hostname+"/images/Banner/2.jpg");
  var number_of_image = image_list.length;
  function imageItem(image_location) {
  this.image_item = new Image();
  this.image_item.src = image_location;
  }
  function get_ImageItemLocation(imageObj) {
  return(imageObj.image_item.src)
  }
  function generate(x, y) {
  var range = y - x + 1;
  return Math.floor(Math.random() * range) + x;
  }
  function getNextImage() {
  if (random_display) {
  image_index = generate(0, number_of_image-1);
  }
  else {
  image_index = (image_index+1) % number_of_image;
  }
  var new_image = get_ImageItemLocation(image_list[image_index]);
  return(new_image);
  }
  function rotateImage() {
  var new_image = getNextImage();
  document.getElementById('rImage').src = new_image;
  var recur_call = "rotateImage('"+document.getElementById('rImage')+"')";
  setTimeout(recur_call, interval);
  }