function overbody()
{
  if (document.readyState != "complete") return;
  hideall();
}