function WriteBottomLine()
{
	if (	navigator.appName == "Microsoft Internet Explorer" &&
		navigator.appVersion.substr(0,1)>=4 )
	{
		var Datum=document.lastModified;
		document.write("<hr class='left'><div class='small' style='text-align:left'><a href='../disclaimer/main.html'>&copy; J&uuml;rgen Keil</a>, last upload: " + Datum.substr(6,4)  + "-" + Datum.substr(0,2) + "-" + Datum.substr(3,2) + "</div>");
	}
	else
		document.write("<hr class='left'><div class='small' style='text-align:left'><a href='../disclaimer/main.html'>&copy; J&uuml;rgen Keil</a></div>");
}