/** Calculates a time difference between client and server, to make js clock to run correctly */
function timeDiff() {
var timeDifferense;
var serverClock = new Date(2007,0,28,21,30,14);
var clientClock = new Date();
var serverSeconds;
var clientSeconds;
timeDiff = clientClock.getTime() - serverClock.getTime() - 3000;
runClock(timeDiff);
}
/** Show clock */
function runClock(timeDiff){
var now = new Date();
var newTime;
newTime = now.getTime() - timeDiff;
now.setTime(newTime);
//var localDate = getLocalDate(now.getFullYear(), fixMonth(now.getMonth()), fixNumber(now.getDate()));
GetElement('time').innerHTML = fixNumber(now.getHours()) + ':' + fixNumber(now.getMinutes()) + ':' + fixNumber(now.getSeconds());
setTimeout('runClock(timeDiff)',1000);
}