function navigation_over(id) {
	document.getElementById(id).style.visibility = "visible";
}

function navigation_out(id) {
	document.getElementById(id).style.visibility = "hidden";
}