<!--
function tik() {
    var hours, minutes, seconds;
    var intHours, intMinutes, intSeconds;
    var today;
    
    today = new Date();
    intHours = today.getHours();
    intMinutes = today.getMinutes();
    intSeconds = today.getSeconds();
    
    if (intHours == 0) {
	hours = "24:";
    } else {
	intHours = intHours;
	hours = intHours + ":";
    }
    
    if (intMinutes < 10) {
	minutes = "0"+intMinutes + ":";
    } else {
	intMinutes = intMinutes;
	minutes = intMinutes + ":";
    }
    
    if (intSeconds < 10) {
	seconds = "0"+intSeconds;
    } else {
	seconds = intSeconds;
    }
    
    timeString = hours+minutes+seconds;
//    Clock.innerHTML = timeString;
    window.document.getElementById("Clock").innerHTML = timeString;
    window.setTimeout("tik();", 100);
}
window.onload = tik;
// -->