var ns6 = document.getElementById && !document.all;
 var ie4 = document.all;

 if(ns6) div_heure = document.getElementById("heure");
 else if(ie4) div_heure = document.all["heure"];

 if (typeof police == 'undefined') { var police = "Verdana";}
 if (typeof size == 'undefined') { var size = 3;}
 if (typeof gras == 'undefined') { var gras = 0;}
 if (typeof couleur == 'undefined') { var couleur = "#000000";}

function heure()
{

 var Time=new Date()
 var hours=Time.getHours()
 var minutes=Time.getMinutes()
 var seconds=Time.getSeconds()
 if (minutes<=9)
 minutes="0"+minutes
 if (seconds<=9)
 seconds="0"+seconds
 var ctime="";
 if (gras) ctime = "<b>"
 ctime+= hours+":"+minutes+":"+seconds
 if (gras) ctime += "</b>"
 div_heure.innerHTML=ctime


}
 setInterval("heure()",1000);