<!-- Browser Detection

	if (/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ 
	 var ffversion=new Number(RegExp.$1) // capture x.x portion and store as a number
	 if (ffversion>=3)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ff.css" media="screen" />')
	 else if (ffversion>=2)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ff.css" media="screen" />')
	 else if (ffversion>=1)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ff.css" media="screen" />')
	}
	else if (/MSIE (\d+\.\d+);/.test(navigator.userAgent)){
	 var ieversion=new Number(RegExp.$1) // capture x.x portion and store as a number
	 if (ieversion>=8)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ie8.css" media="screen" />')
	 else if (ieversion>=7)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ie7.css" media="screen" />')
	 else if (ieversion>=6)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ie6.css" media="screen" />')
	 else if (ieversion>=5)
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-ie6.css" media="screen" />')
	}
	else if (/Opera[\/\s](\d+\.\d+)/.test(navigator.userAgent)){
	  document.write('<link rel="stylesheet" type="text/css" href="/resources/css/msGlobal-op.css" media="screen" />')
	}

// -->

<!-- Clock

function init ( )
{
  timeDisplay = document.createTextNode ( "" );
  document.getElementById("clock").appendChild ( timeDisplay );
}

function updateClock ( )
{
  var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

  // Compose the string for display
  var currentTimeString = currentHours + "u" + currentMinutes + ":" + currentSeconds;

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}

// -->

<!-- E-mail Address Encoder



// -->
