<!--
  function popup (url, target, params) {
    window.open (url, target, params);
  }
// -->