var text=" ";
function statustext(text) { window.status=text }