// JavaScript Document
function show_menu(a){ 
	document.getElementById('div_'+a).style.display='block';
	document.getElementById('bt_'+a).className = 'nav_on';
}

function hide_menu(a){ 
	document.getElementById('div_'+a).style.display='none';
	document.getElementById('bt_'+a).className = 'nav_off';
}