		<!--
			// last modified script by Bernhard Friedrich; should work in all browsers
			var a;
			a=new Date(document.lastModified);
			lm_year=a.getYear();
			if (lm_year<1000){ 				//just in case date is delivered with 4 digits
				if (lm_year<70){
				lm_year=2000+lm_year;
				}
				else lm_year=1900+lm_year;
			}								//end workaround
			lm_month=a.getMonth()+1;
			lm_day=a.getDate();
			document.write("Last update: " + lm_day+'-'+lm_month+'-'+lm_year);
		// -->