function GMTclock(){
   var time = new Date()
   var gmtMS = time.getTime() 
              + (time.getTimezoneOffset() * 60000)
   var gmtTime =  new Date(gmtMS)
   var hr = gmtTime.getHours()
   var min = gmtTime.getMinutes()
   var sec = gmtTime.getSeconds()
   var day = gmtTime.getDay()
   var date = gmtTime.getDate()
   var month = gmtTime.getMonth()
   var year = gmtTime.getFullYear() + 2428
   if(hr < 10){
     hr = "0" + hr
     }
   if(min < 10){
     min = "0" + min
     }
   if(sec < 10){
     sec = "0" + sec
     } 
	
	if(month == 0){
		month = "Jan"
	}

	if(month == 1){
		month = "Feb"
	}

	if(month == 2){
		month = "Mar"
	}

	if(month == 3){
		month = "Apr"
	}

	if(month == 4){
		month = "May"
	}

	if(month == 5){
		month = "Jun"
	}

	if(month == 6){
		month = "Jul"
	}

	if(month == 7){
		month = "Aug"
	}

	if(month == 8){
		month = "Sep"
	}

	if(month == 9){
		month = "Oct"
	}
	
	if(month == 10){
		month = "Nov"
	}

	if(month == 11){
		month = "Dec"
	}
	
	if(day == 0){
		day = "Sunday"
	}
	if(day == 1){
		day = "Monday"
	}
	if(day == 2){
		day = "Tuesday"
	}
	if(day == 3){
		day = "Wednesday"
	}
	if(day == 4){
		day = "Thursday"
	}
	if(day == 5){
		day = "Friday"
	}
	if(day == 6){
		day = "Saturday"
	}
	/*
   document.gmt.digits.value= day + ", " + date + "-" + month + "-" + year + "  " + hr + min + "." + sec + " Zulu"
     */
   document.gmt.day.value= day + ", "
   document.gmt.date.value= date + "-" + month + "-" + year + " "
   document.gmt.time.value= hr + "" + min + "." + sec + " Zulu "
   setTimeout("GMTclock()", 1000)
   }