function show_clock()
{
    if (!document.all&&!document.getElementById)
        return
    thelement=document.getElementById? document.getElementById("clock"): document.all.tick2
    var Digital=new Date()
    var hours=Digital.getHours()
    var minutes=Digital.getMinutes()
    var seconds=Digital.getSeconds()
    if (hours==0)
        hours=12
    if (minutes<=9)
        minutes="0"+minutes
    if (seconds<=9)
        seconds="0"+seconds
    var ctime=hours+":"+minutes+":"+seconds
    thelement.innerHTML=""+ctime+""
    setTimeout("show_clock()",1000)
}