function display(str) { window.status = str; return true; }