function disp(msg){ 
window.status = msg; 
}