// JavaScript Document

<!-- tab-switching javascript begins -->
             
									tab1Off = new Image(117,19);
									tab1Off.src="/images/tab1_off.gif";
									tab1Off.border = 0;
									tab1On = new Image(117,19);
									tab1On.src="/images/tab1_on.gif";
									tab1On.border = 0;
									
									tab2On = new Image(117,19);
									tab2On.src="/images/tab2_on.gif";
									tab2On.border = "0";
									tab2Off = new Image(117,19);
									tab2Off.src="/images/tab2_off.gif";
									tab2Off.border = "0";
									
									tab3On = new Image(117,19);
									tab3On.src="/images/tab3_on.gif";
									tab3On.border = "0";
									tab3Off = new Image(117,19);
									tab3Off.src="/images/tab3_off.gif";
									tab3Off.border = "0";
							
								
<!-- tab-switching javascript ends -->

<!-- UTC clock functions begins -->
<!--

var dateObjectX = new Date(); // get the initial current date and time

function displayDateTime() {
  document.zuluTime.manualDisp.value = dateObjectX.toString();
}

function updateDateTime() {
  dateObjectX = new Date(); // get the current date and time again
  displayDateTime();
}
 
function clearDateTime() {
  document.zuluTime.manualDisp.value = "";
}
 
function getGMT() {
  date = new Date();
  gmt = date.toGMTString();
  loc = date.toString();
  //exp = gmt.substring(0,25);
  exp = gmt.substring();
  ext = loc.substring(0,24);
  //ext = loc.substring();
  
//  offTime = date.getTimezoneOffset();
 document.zuluTime.gmt.value = exp;
 document.zuluTime.loc.value = ext;
 //document.zuluTime.offTime.value = "Offset " + (offTime / 60) + " hours";

 setTimeout("getGMT()", 1000);
 }

//-->

  
  <!-- clock function ends -->