function show_menu()
{
  el=document.getElementById('catalogmenu');
  if(el)
  { 
    st=el.style;
    if(st)
    {
      if(st.visibility=='hidden')
      {
        st.visibility='visible';
        st.display='block';
      }
      else
      {
        st.visibility='hidden';
        st.display='none';
      }
    }
  }
  return false;
}