rem: function show(id) { if (!isDOMcompliant()) { return; } var menu = document.getElementById("Menu" + id); if (!menu) { return; } var menus = document.getElementById("NavMenuList"); if (!menus) { return; } var submenu = menus.getElementsByTagName("ul").item(id-1); if (!submenu) { return; } if (xcol_cur_submenu == null) { submenu.style.visibility = "visible"; } else { xcol_cur_submenu.style.visibility = "hidden"; submenu.style.visibility = "visible"; 
add: function show(id) { if (!isDOMcompliant()) { return; } var menu = document.getElementById("Menu" + id); if (!menu) { return; } var menus = document.getElementById("NavMenuList"); if (!menus) { return; } var submenu = menus.getElementsByTagName("ul").item(id-1); if (!submenu) { return; } if (xcol_cur_submenu == null) { var menu_array = document.getElementById("Menu");  for (i = 1; i <= 10; ++i) { var looped_menu_href = document.getElementById("Menu"+i)  if (looped_menu_href != null) {  var looped_menu = looped_menu_href.parentNode  if (looped_menu.className.match(/Selected/)) {  var looped_submenu_items = looped_menu.getElementsByTagName("li"); for (j = 0; j < looped_submenu_items.length; ++j) {  if (looped_submenu_items[j].className.match(/Selected/)) { looped_submenu_items[j].className = null;  break; } } looped_menu.className = looped_menu.className.replace(/Selected/,'');  looped_menu.getElementsByTagName("ul").item(0).className = looped_menu.getElementsByTagName("ul").item(0).className.replace(/Selected/,'');  break; } } else { break; } 
context: function show(id){    if (!isDOMcompliant()) { return; }    var menu = document.getElementById("Menu" + id);    if (!menu) { return; }    var menus = document.getElementById("NavMenuList");    if (!menus) { return; }    var submenu = menus.getElementsByTagName("ul").item(id-1);    if (!submenu) { return; }    if (xcol_cur_submenu == null) {        submenu.style.visibility = "visible";    } else {        xcol_cur_submenu.style.visibility = "hidden";        submenu.style.visibility = "visible";    }    if (xcol_cur_menu == null) {        menu.style.backgroundColor = "#FFF";        menu.style.color = "#000";    } else {        xcol_cur_menu.style.backgroundColor = "#036";        xcol_cur_menu.style.color = "#FFF";        menu.style.backgroundColor = "#FFF";        menu.style.color = "#000";    }    xcol_cur_menu = menu;    xcol_cur_submenu = submenu;}
meta: 10389	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10389/8c2d98c26059fa774edc7f06dd231d253e993d8d/navmenu.js/clean/js/navmenu.js