function time() { lastmod=new Date(document.lastModified); if (lastmod.getYear()<2000)
 year=lastmod.getYear()+1900; else year=lastmod.getYear(); if (lastmod.getYear()<10) year=lastmod.getYear()+2000; if
 (lastmod.getMinutes()<10) min="0"+lastmod.getMinutes(); else min=lastmod.getMinutes(); if (lastmod.getSeconds()<10)
 sec="0"+lastmod.getSeconds(); else sec=lastmod.getSeconds(); 
 document.write(+lastmod.getDate()+"."+(lastmod.getMonth()+1)+"."+year); } 
 time();