function update(txt){
window.status = txt;
}