function show_subnavi(sub_nr) {

	document.getElementById(sub_nr).style.visibility = "visible";

}
function hide_subnavi(sub_nr) {

	document.getElementById(sub_nr).style.visibility = "hidden";

}