function datestamp()
	{
	document.write('Letztes Update dieser Site: 16. 09. 2011');
	}