<!--

/*By JavaScript Kit
http://javascriptkit.com
Credit MUST stay intact for use
Modified by Johannes Smits
*/

function ShowClock() {
  if (!document.all && !document.getElementById) return;
  theElement=document.getElementById ? document.getElementById("clock") : document.all.clock;
  var Time=new Date();
  var get_time = Time.getTime();
  var h=Time.getHours() + 3600000;
  get_time = get_time + 3600000;
  Time.setTime(get_time);
  var dateString = Time.toGMTString();
  var dateArray = dateString.split(/\s+/);
  var timeArray = dateArray[4].split(":");
  var year = dateArray[3];
  var month = dateArray[2];
  var day = dateArray[1];
  var hours=timeArray[0];
  var minutes=timeArray[1];
  var seconds=timeArray[2];
  var ctime=month+" "+day+", "+year+" at "+hours+":"+minutes+":"+seconds;
  theElement.innerHTML=ctime
  setTimeout("ShowClock()",1000)
  }
//-->