function fDatum() {
	 vJetzt = new Date();
	 vJahr = vJetzt.getFullYear();
	 vJahresmonat = vJetzt.getMonth();
	 var vMonat = new
	 Array("January","February","March","April","May","June",
	 "July","August","September","October","November","December");
	 vTag = vJetzt.getDate();
	 vStd = vJetzt.getHours();
	 vMin = vJetzt.getMinutes();
	 var vStdAusgabe  = ((vStd < 10) ? "0" + vStd : vStd);
	 var vMinAusgabe  = ((vMin < 10) ? "0" + vMin : vMin);
	 document.write(vMonat[vJahresmonat] + " " + vTag + ", " + vJahr + " .. ");
	 document.write(vStdAusgabe + ":" + vMinAusgabe);

	 }