function show_submenu(v)
{
   if (v=='h')
   {
   	v='hidden';
   }
   else
   {
   	v='visible';
   }
   document.getElementById('tab_submenu').style.visibility = v;
}