function windowOpen(url, windowName, windowFeatures) {
  window.open(url, windowName, windowFeatures);
}
function window_open(url) {
  window.open(url);
}