/*
Navigations-Include, um Links bei einfachen HTML Seiten nur in einer Datei ändern zu müssen

*/

drawMenu=function() {
document.write(	"<div id = 'navidummy'>",
				"<ul id = 'nav'>",
					"<li><a href = ''>hagenauer.at</a></li>",
					"<li id = 'alu'><a href = 'alu/'>Alu-Bau</a>",
					"<ul>",
						"<li><a href = 'alu/info.htm'>Geschichte</a></li>",
						"<li><a href = 'alu/produkte/'>Produkte</a></li>",
						//"<li><a href = 'alu/referenzen/'>Referenzen</a></li>",
						"<li><a href = 'alu/kontakt.htm'>Kontakt</a></li>",
					"</ul>",
					"</li>",
					"<li id = 'elektro'><a href = 'elektro/'>Elektroteam</a>",
					"<ul>",
						"<li><a href = 'elektro/leistungen/'>Leistungen</a></li>",
						"<li><a href = 'elektro/store/'>Geschäft</a></li>",
						"<li><a href = 'elektro/referenzen/'>Referenzen</a></li>",
						"<li><a href = 'elektro/team.htm'>Das Team</a></li>",
						"<li><a href = 'elektro/kontakt.htm'>Kontakt</a></li>",
					"</ul>",		
					"</li>",
					"<li><a href = 'impressum.htm'>Impressum</a></li>",
				"</ul>",
				"</div>");
}