<!--

// Clock

updateClock();

function updateClock() {
    var time = new Date();
    var hours = time.getHours();
    var minutes = time.getMinutes();
    var seconds = time.getSeconds();
    document.clock.face.value = ((hours < 10) ? '0' + hours : hours) + 
                          ':' + ((minutes < 10) ? '0' + minutes : minutes) +
                          '';
    setTimeout("updateClock()",1000);
}

//-->