var d=document;
function menu(i){
  i="n"+i;
  if(d.getElementById) o=d.getElementById(i);
  else if(d.all) o=d.all[i];
  else return;
  o.style.display=o.style.display==''?'none':'';
}