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