document.write("<script src=\"cmd/js/cmd.js\" type=\"text/javascript\"></script>");

function menu_hide(id) {

	document.getElementById("menu_children_" + id).style.display = "none";

}

function menu_show(id) {

	document.getElementById("menu_children_" + id).style.display = "block";

}