// Check whether IE4 or later.
         var MS = navigator.appVersion.indexOf("MSIE");
         window.isIE4 = (MS > 0) &&
            (parseInt(navigator.appVersion.substring(MS + 5, MS + 6)) 
               >= 4);

         function lead0(val) {
            // Add leading 0s when necessary.
            return (val < 10) ? "0" + val.toString() : val;
         }

         function buildTime() {
            var time = new Date();
            var ampm = "";
            var h = time.getHours();
            // Fix military time and determine ampm.
            if (h > 24) {
               h = h - 12;
               ampm = "";
            }
            return lead0(h) + ":" + lead0(time.getMinutes()) + ":" +
               lead0(time.getSeconds()) + ampm;
         }

         function tick() {
            // Replace the clock's time with the current time.
            document.all.clock.innerText = buildTime();
         }

<!-- Hide from old browsers