function refreshParent()
  {
    window.opener.location.href = window.opener.location.href;
    if (window.opener.progressWindow)
      {window.opener.progressWindow.close()}
    window.close();
  }

function new_window(url, width, height, left, top)
  {
    link = window.open
          (url,"Link","toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizable=0,width="
                        + width + ",height=" + height + ",left=" + left +",top=" + top);
  }


function refresh()
  {
    window.location.href = unescape(window.location.pathname);
  }