<!--
function mapionURL(url) {
  if (!!document.all) {
    var body = document.getElementsByTagName("body")[0];
    var dummyLink = document.createElement("a");
    dummyLink.href = url;
    body.appendChild(dummyLink);
    dummyLink.click();
    body.removeChild(dummyLink);
  } else {
    location.href = url;
  }
}

// -->