<!--
function open_external_window(theURL, windowName, features) { //v2.0
  window.open(theURL, windowName, features);
}
//-->