<!--
	function load_main (URL)
	{
		parent.main.location.href = URL
	}
	
	function load_head ()
	{
		window.status = parent.location   // prevents IE6 error message in following statement
		parent.head.location.href = parent.location + "/../src/head.htm"
		window.status = document.title + "   " + location
	}
	
	function include_fusstext (text, datum)
	{
		document.writeln ('<br>')
		document.writeln ('<hr width="620" align="left">')
		document.writeln ('<address>')
		document.writeln
('<a href="http://userserv.reutlingen-university.de/~hug" target="_blank">http://userserv.reutlingen-university.de/~hug</a><br>')
		document.writeln
		('<a href="http://www.mki.reutlingen-university.de" target="_blank">http://www.mki.reutlingen-university.de</a>')
		document.writeln ('&nbsp;&nbsp;&nbsp;')
		document.writeln
			 ('<a href="http://www.inf.reutlingen-university.de" target="_blank">http://www.inf.reutlingen-university.de</a>')
		document.writeln ('&nbsp;&nbsp;&nbsp;')
		document.writeln
			('<a href="http://www.reutlingen-university.de" target="_blank">http://www.reutlingen-university.de</a><br>')
		document.writeln (text + ': ' + datum + ' <a href="mailto:karlheinz.hug@reutlingen-university.de">Khu</a>')
		document.writeln ('</address>')
	}
	
	function include_fuss (datum)
	{
		include_fusstext ('Aktualisiert', datum)
	}
	
	function include_foot (datum)
	{
		include_fusstext ('Updated', datum)
	}
// -->