window.defaultStatus=" ";
function s(t) {
window.status=t;
return true;
}

