/* clock functions */

var oT="getleadingZero(getTimestamp().getDate())+'-'+getleadingZero((1+getTimestamp().getMonth()))+'-'+getTimestamp().getFullYear()+' '+getleadingZero(getTimestamp().getHours())+':'+getleadingZero(getTimestamp().getMinutes())+':'+getleadingZero(getTimestamp().getSeconds())+' '";

function getTimestamp(){ x=new Date(); x.setTime(x.getTime()); return x; } 
function getleadingZero(x){ return (x>9)?x:"0"+x; } 
function displayTime(){ document.getElementById("span_main_top_clock").innerHTML=eval(oT); setTimeout("displayTime()",1000); }