function writeMenu(id) {
	var base = "http://wwwhome.ewi.utwente.nl/~hofs/pomdp/";

	var items = new Array();
	items[0] = ["Home","index.html"];
	items[1] = ["Dialogue specification parser","parser.html"];
	items[2] = ["Interactive simulator","interactive.html"];
	items[3] = ["Performance simulator","performance.html"];
	
	document.writeln('<div id="menu"><p><ul>');
	for (var i in items) {
		if (items[i] == 0) {
			document.writeln('<div class="space"></div>');
		} else if (items[i].length == 1) {
			document.write('<li><div class="header">' + items[i][0] + '</div></li>');
		} else {
			document.write('<li><div');
			if (items[i][1] == id)
				document.write(' class="active"');
			document.writeln('><a href="' + base + items[i][1] + '">' + items[i][0] + '</a></div></li>');
		}
	}
	document.writeln('</ul></p></div>');
}