<!-- popup window for various things -->


<!-- hide
function popup(url) {
 var newWin = window.open(url,'popup','resizable=no,scrollbars=yes,width=660,height=500,copyhistory=no')
 if (navigator.appVersion.indexOf('(X11') != -1 || navigator.appVersion.indexOf('(Mac') != -1)
  newWin =  window.open(url,'popup','resizable=no,scrollbars=yes,width=660,height=500,copyhistory=no')
 if (newWin.open) newWin.focus();
}

// -->