function clock() {
    
    var seconds, minutes, hours

    starttime = starttime.split(":")
    seconds = starttime[2]
    minutes = starttime[1]
    hours = starttime[0]
    if (seconds < 59) {
        seconds++
        if (seconds.toString().length == 1)
            seconds = "0" + seconds.toString()
    }
    else {
        seconds = "00"
        if (minutes < 59) {
            minutes++
            if (minutes.toString().length == 1)
                minutes = "0" + minutes.toString()
        }
        else {
            minutes = "00"
            if (hours < 24) {
                hours++
                if (hours.toString().length == 1)
                    hours = "0" + hours.toString()
            }
            else
                hours = "00"
        }
    }

    starttime = hours + ":" + minutes + ":" + seconds
    document.getElementById("ServerTime").innerHTML = starttime
    setTimeout(clock, 1000)
}


function bookmarksite(title, url){
if (document.all)
window.external.AddFavorite(url, title);
else if (window.sidebar)
window.sidebar.addPanel(title, url, "")
}