function writeInfo() {
    var d = new Date();
    HTML("<div id='time'> </div>");
    //HTML("time: " + d.getHours() + ":" + d.getMinutes() + ":"+ d.getSeconds());
}

var start = 0;
function showTime() {
    var date = new Date();
    document.getElementById("time").innerHTML = hour(date) + ":" + minute(date) + ":" + second(date);
    start++;
    t = setTimeout("showTime()", start < 10 ? 10 : 500);
}


// add a zero if necessary (< 10)
function addZero(t) { return t < 10 ? "0" + t : t; }

function hour(date) { return addZero(date.getHours()); }
function minute(date) { return addZero(date.getMinutes()); }
function second(date) { return addZero(date.getSeconds()); }

/********************************************************************************
 * Help
 ********************************************************************************/

function HTML(text) {
    document.write(text);
}