function f_menu_on(id) {
	var obj = $("m" + id);
	if (obj) obj.style.display = "block";
}
function f_menu_off(id) {
	var obj = $("m" + id);
	if (obj) obj.style.display = "none";
}