function info(txt){window.status=txt}