<!--

function menu(page, anc) {
	window.location = page + '#' + anc;
}

-->