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 = "comic sans MS";}
 if (typeof size == 'undefined') { var size = 3;}
 if (typeof gras == 'undefined') { var gras = 0;}
 if (typeof couleur == 'undefined') { var couleur = "#977601";}

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+="<font face='"+police+"' color='"+couleur+"' size="+size+">"+hours+":"+minutes+":"+seconds+"</font>"
 if (gras) ctime += "</b>"
 div_heure.innerHTML=ctime


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