function flipDiv(what){
  var div=document.getElementById(what);
  if(div.ff) div.ff=!div.ff;else div.ff=true
  if(div.ff){div.style.display='block';}else div.style.display='none';
}