function stat(txt) { window.status = txt; }
function sstat(txt) { var i = window.setTimeout('window.status="' + txt + '"', 1); return true; }
function helloWorld() { alert("Hello World"); window.focus(); }