// JavaScript Document
 var tags_before_clock = "<font face='arial' size='4' color='#FF0000'>"
    var tags_middle_clock = ""
    function upclock() { var dte = new Date(); var hrs = dte.getHours(); var min = dte.getMinutes(); var sec = dte.getSeconds(); var col = ":"; var spc = " "; var com = ""; if (hrs == 0) hrs=12; if (min<=9) min="0"+min; if (sec<=9) sec="0"+sec; document.getElementById('clock').innerHTML = tags_before_clock+hrs+col+min+col+sec+tags_middle_clock+com+com+spc; } window.setInterval("upclock()",1000); 
