// 8 april 2003

var gMenuArray = new Array
("", 7, 
"gastenverblijf -" , "index",
"zolder -", "zolder", 
"torenstad -" , "torens", 
"ontdek -" , "doen", 
"reserveer -", "reser",
"foto's -", "fotos",
"tips", "links")
																

																
function writeMenu(){ // 
var tekst = 		"<div id=navigatieId>"
var menuA = gMenuArray
var i  = 0;
var nr = 0;
while (i < menuA.length){
		if (nr == 0){
				//tekst += "<font class='navBold'>" + menuA[i] + "</font>"
					tekst += "<font class='navNormaal'>"
				nr = menuA[i + 1]
				i += 2
		}

		while (nr > 0) {
				tekst += "<a href='" + menuA[i + 1] + ".html'  name='" + menuA[i + 1] + "'>" + menuA[i] + "</a>&nbsp;"
				i += 2
				nr -= 1
		}

		tekst += "</font><br>\n"
}

	tekst += "</div>"

	document.write(tekst)
}