// JavaScript Document

function toggle_submenu(submenu_id){
    submenu = document.getElementById(submenu_id);
	if(submenu.style.display == "none"){
	    submenu.style.display = "";
	} else { 
	    submenu.style.display = "none";
	}
}