function	servertime() {
  now	=	new Date();
  hour	=	now.getHours();
  min	=	now.getMinutes();
  sec	=	now.getSeconds();

	if	(min <= 9) {
      min	=	"0" + min; }
    if	(sec <= 9) {
      sec	=	"0" + sec; }
    if	(hour < 10) {
      hour	=	"0" + hour; }
    document.getElementById("servertime").innerHTML	=	hour + ':' + min + ':' + sec;
  setTimeout("servertime()", 1000);
}