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