function message(text){
                  window.status = text;
                  }