function settimes(){
    var time= new Date();
    hours= time.getHours();
    mins= time.getMinutes();
    secs= time.getSeconds();
    if (hours<10)
        hours="0"+hours;
    if(mins<10)
        mins="0"+mins;
    if (secs<10)
        secs="0"+secs;
    ctime= "ore "+hours+":"+mins+":"+secs
    if (document.getElementById) { document.getElementById('clock').innerHTML = ctime; }
    else if (document.layers) {
    document.layers.clock.document.write(ctime);
    document.layers.clock.document.close(); }

    setTimeout("settimes()", 1000);
}