<!--
function newLocation(url) {
  window.location.href = url;
}

function ehandler() {
  return true;
}