// JavaScript Document

<!--
function launchWindow(url, features) {
  window.open(url, "_blank", features);
}
//-->