function showMenu(m)
{
  var ul = m.getElementsByTagName("ul")[0];
  var a = m.getElementsByTagName("a")[0];
  a.style.color = "#FFFFFF";
  ul.style.visibility = "visible";
}

function hideMenu(m)
{
  var ul = m.getElementsByTagName("ul")[0];
  var a = m.getElementsByTagName("a")[0];
  a.style.color = "#9696FF";
  ul.style.visibility = "hidden";
}