// JavaScript Document
function showDiv(what, highlight){
  document.getElementById(what).style.visibility = "visible";
  document.getElementById(highlight).style.background = "#bbeeff";
  document.getElementById(highlight).style.listStyleImage = "url(../images/sys_images/menu_open.gif)";
}
function hideDiv(what, highlight){
  document.getElementById(what).style.visibility = "hidden";
  document.getElementById(highlight).style.background = "#ffffff";
  document.getElementById(highlight).style.listStyleImage = "url(../images/sys_images/menu_arrow.gif)";
}