function generateNavigation(page) {
	page.write("<a href='index.html'>Home</a><br>");
	page.write("<a href='ergebnisse.html'>Ergebnisse</a><br>");
	page.write("<a href='presse.html'>Presse</a><br>");
	page.write("<a href='termine.html'>Termine</a><br>");
	page.write("<a href='links.html'>Links</a><br>");
	page.write("<a href='sponsoren.html'>Sponsoren</a><br>");
	page.write("<a href='kontakt.html'>Kontakt&Anfahrt</a><br>");
}



function generateUpdateDate(page) {
	page.write("zuletzt aktualisiert: 11.05.2009 09.25 Uhr");
}