function set_status_text(text)
{
  window.status = text
  return true
}