function doTime() {
  local = new Date();
  hr = local.getHours();
  min = local.getMinutes();
  sec = local.getSeconds();

  if (hr <10) {
    hr = "0" + hr;
  }
  if (min < 10) {
    min = "0" + min;
  }
  if (sec <10) {
    sec = "0" + sec;
  }

  gmt = local.toGMTString();
  gmtidx = gmt.indexOf("GMT", 0);
  if (gmtidx != -1) {
    gmt1 = gmt.substring(0, gmtidx);
    gmt2 = gmt.substring(gmtidx+3, gmt.length);
    str = gmt1 + "UTC" + gmt2 +  "  ---  Your Time: " + hr + ":" + min + ":" + sec;
  } else {
    str = local.toGMTString() +  "  ---  Your Time: " + hr + ":" + min + ":" + sec;
  }
  document.form1.timebox.value = str;

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