var monat = new Array ("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");

server_date = new Date();

function clock()
{
  var hours = server_date.getHours();
  var minutes = server_date.getMinutes();
  var seconds = server_date.getSeconds();
  var ampm = '';
  var d = server_date.getDate();
  var m = server_date.getMonth();
  var y = server_date.getFullYear();
  var dispTime;

  server_date.setSeconds( seconds+1 );

  if (minutes < 10) minutes = '0' + minutes;
  if (seconds < 10) seconds = '0' + seconds;

  document.getElementById('clock').innerHTML = "CET: " + ""+d+". "+monat[m]+" "+y+" "+hours + ":" + minutes + ":" + seconds ;
  setTimeout("clock()", 1000);

}