/* <![CDATA[ */
function stat(txt) {
    window.status = txt;
    setTimeout("erase()",2);
}
function erase() {
    window.status="";
}
/* ]]> */