function PopupWindow(url) {
  popupWin = window.open(url, "newwin", 'width=300,height=250,left=20,top=20,resizable=Yes')
}

function tidy (y) {
  spacing = "$    .  ";
  y = Math.floor(y * 100) + "";  // 12.35 becomes 1235,  123.45 becomes 12345
  x = y.substring(0,y.length-2)
  if (x == 0)
    return "$   0.00";
  x += "." + y.substring(y.length-2,y.length);
  r = spacing.substring(0, (spacing.length - x.length)) + x;
  return (r);
}