<!--
var ImageWindow = null;
var imagepage_url = null;
function show_window(url, name, params) {
 if (!ImageWindow || ImageWindow.closed) {
   ImageWindow = window.open(url, name, params);
   imagepage_url = url;
 } else {
    if (imagepage_url != url) {
      ImageWindow.location.href = url;
      imagepage_url = url;
    }
 }
 ImageWindow.focus();
}
// -->