// updateTime method. writes the current date to the header in the format
// dd.mm.yyyy hh:mm:ss
// Written by Rolf-Henning Ulstein Klungsøyr

function updateTime() {
        currDate = new Date();
        cHours = currDate.getHours();
        if (cHours < 10) cHours='0'+cHours;
        cMinutes = currDate.getMinutes();
        if (cMinutes < 10) cMinutes='0'+cMinutes;
        cSeconds = currDate.getSeconds();
        if (cSeconds < 10) cSeconds='0'+cSeconds;
        str = currDate.getDate() + "." + (currDate.getMonth()+1) + "." + currDate.getYear() + " " + cHours + ":" + cMinutes + ":" + cSeconds + "";
        document.getElementById('ntnuiclock').innerHTML = str;
        setTimeout("updateTime()", 1000);
}