// JavaScript Document

var offsetFlag=0;
var offset = 0;


function Clock(){	
	// At this point serverdate can be used for all date/time references in the rest of the script.
	// The math above corrects its value for the the client's local time offset.
	<!-- hide from old browsers
  	//var curDateTime = new Date()
	//
	var monthNames = new Array( "Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	
	if (offsetFlag == 0){
	    var deltaD = (servertimeOBJ.getTime())-(new Date().getTime());
		offsetFlag = 1;
		offset = deltaD;
		
		var year = servertimeOBJ.getYear();
		var daytoday = servertimeOBJ.getDate();
		var months = monthNames[servertimeOBJ.getMonth()];
		
		if(year < 1000) { year += 1900; }							
		var serverDatString =  daytoday + "   " + months + "   " + year;		
	
		if (document.all)
			document.all.serverDateString.innerHTML=curTime;
		else if (document.getElementById)
			document.getElementById('serverDateString').innerHTML=serverDatString;
		else
			document.write(serverDatString);
	} 	
	
	
	var clientDate = new Date();
	var serverdate = new Date(clientDate.getTime()+offset);
	

		
	//var serverdate = new Date();
	
  	var curHour = serverdate.getHours()
  	var curMin = serverdate.getMinutes()
  	var curSec = serverdate.getSeconds()
  	var curAMPM = " AM"
  	var curTime = ""
  	if (curHour >= 12){
    	  curHour -= 12
    	  curAMPM = " PM"
    	}
  	if (curHour == 0) curHour = 12
  		curTime = curHour + ":" 
    			  + ((curMin < 10) ? "0" : "") + curMin + ":" 
    			  + ((curSec < 10) ? "0" : "") + curSec 
    			  + curAMPM
    
	
	if (document.all)
		document.all.serverTime.innerHTML=curTime;
	else if (document.getElementById)
		document.getElementById('serverTime').innerHTML=curTime;
	else
		document.write(curTime);

    //document.clockform.clockspot.value=curTime;	
	setTimeout("Clock()",1000);	
}