function delayed_hide_status()
{
  window.status = '';
}

function hide_status()
{
//  window.status = '';

//  setTimeout('delayed_hide_status()', 1);
}