function showhide(what){
  if (what.style.display=='none')
    { what.style.display=''; }
  else { what.style.display='none' }
}