/////////////////////////////////////////////////////
function retrace() { history.back() }

/////////////////////////////////////////////////////
function setMsg(msg) {   
               window.status = msg;
               return true;
          }