function expand_menu(header) {
	document.getElementById(header).style.display="inline"
}

function collapse() {
	tables = document.getElementsByTagName("table")
	for (x=0;x<tables.length-1;x++) {
		if (tables[x].className=="menu_table") {
			tables[x].style.display="none"
			//alert(tables[x].className)
		}
	}
}

function onload_menu() {
	var page = location.pathname.substring(1,location.pathname.length-4)
	document.getElementById(page).style.backgroundPosition = "-165px"
	document.getElementById(page).style.fontWeight = "bold"
	document.getElementById(page).style.paddingLeft = "15px"
}