function jsClockUK()
   {
       var time = new Date();
       var gmtMS = time.getTime() + (time.getTimezoneOffset() * 60000);
       var gmtTime =  new Date(gmtMS);
       var hour = gmtTime.getHours() + 1 ;
       var minute = gmtTime.getMinutes();
       var second = gmtTime.getSeconds();
       var temp = "" + ((hour < 10) ? "0" : "") + hour;
       temp += ((minute < 10) ? ":0" : ":") + minute;
       temp += ((second < 10) ? ":0" : ":") + second;
       document.getElementById("idclock").firstChild.nodeValue = temp;
       setTimeout("jsClockUK()",1000);
   }  
    // next two functions capture difference between server time and client time and use that difference
	// to display server time on client

	var clockID = 0;

	function UpdateClock(time_difference) 
	{
	
		var Today = new Date(new Date().getTime() - time_difference);  
         
		var minutes = Today.getMinutes();
		if(minutes < 10)
			minutes = '0' + minutes;

		var hours = Today.getHours();
		if(hours < 10)
		hours = '0' + hours;
	    
	    var seconds = Today.getSeconds();
		if(seconds < 10)
		seconds = '0' + seconds;
		
		var currentTimeString = hours + ":" + minutes +":" + seconds;
		document.getElementById("clock").firstChild.nodeValue = currentTimeString;
		   
		setTimeout('UpdateClock(' + time_difference + ');', 1000);
	}
	
	function StartClock()
	{
				
        var Today = new Date();
        var Todays_Year = Today.getFullYear() - 2000;
        var Todays_Month = Today.getMonth() + 1;
        
        //Computes the time difference between the client computer and the server.
        var Todays_Date = (new Date(Todays_Year, Todays_Month, Today.getDate(),
						        Today.getHours(), Today.getMinutes(), Today.getSeconds())).getTime();
         
        UpdateClock((Todays_Date - Server_Date));                
    }