var oldstatus = "";
function setstatus(newstatus) {
  oldstatus = window.status;
  window.status = newstatus;
  return true;
}
function reststatus() {
  window.status = oldstatus;
  return true;
}
function gotourl(url, targ) {
  if (targ)
    window.open(url, "_blank");
  else
    location.href = url;
  return false;
}