function show_submenu(submenu_id) {
 document.getElementById(submenu_id).style.display = 'inline';
}

function hide_submenu(submenu_id) {
 document.getElementById(submenu_id).style.display = 'none';
}

function hide_all() {
 document.getElementById('Programs').style.display = 'none';
}