// JavaScript Document<!--
var date=new Date(document.lastModified);
var dd=date.getDate();
var mm=date.getMonth() + 1;
var yy=date.getYear() % 100;
var HH=date.getHours();
var MM=date.getMinutes();
var SS=date.getSeconds();
if(dd<10)dd="0"+dd;
if(mm<10)mm="0"+mm;
if(yy<10)yy="0"+yy;
if(HH<10)HH="0"+HH;
if(MM<10)MM="0"+MM;
if(SS<10)SS="0"+SS;
document.write(dd+"."+mm+"."+yy+", "+HH+":"+MM+":"+SS);
//-->
