
var old_sub_menu = '2';
function show_sub_menu(id){
	document.getElementById(old_sub_menu).className = 'off';
	document.getElementById(id).className = 'on';
	old_sub_menu = id;

}
function close_menu(id){
	document.getElementById(id).className = 'off';
}

