var hide_id=0;
function show_menu(id)
{
  obj=document.getElementById(id);
  if (obj!=null)
  {
    document.getElementById(id).className='sub_shown';
  }
}

function hide_menu(id)
{
  obj=document.getElementById(id);
  if (obj!=null)
  {
    document.getElementById(id).className='sub_hidden';
  }
}