function submenu_on(id) {
document.getElementById("sub"+id).style.visibility='visible';
}
function submenu_off(id) {
document.getElementById("sub"+id).style.visibility='hidden';
}