/* doc_date.js - copyright by info@sigrist.ch - 05.02.2000 */
if (parseInt(navigator.appVersion.charAt(0),10) > 2) {
	d = document.lastModified; dm = new Date(d);
	dd = dm.getDate(); mm = dm.getMonth()+1; yy = dm.getYear();
	if(yy < 100) {
	  yy += 2000;
	} else {
	  if(yy < 1900) yy += 1900;
	}
	mod = dd + "." + mm + "." + yy;
	document.write(mod);
}