function forward() {
  var get = getHttpGet();
  location.href = get['url'];
}

function showAlternativeText() {
  var get = getHttpGet();
  var url = get['url'];
    
  var link = "<a href=\"{url}\">{url}</a>";
  link = link.replace("{url}", url);
  link = link.replace("{url}", url);
  
  document.getElementById("redir").innerHTML = "Sollten Sie nicht innerhalb von drei Sekunden weitergeleitet werden, benutzen Sie bitte diesen Link:<br />" + link;              
}

function updateHits() {
  var get = getHttpGet();
  var id = get['id'];
  
  rewriteHits(id);
}

function rewriteHits(id) {
  if(req.readyState == 4 || req.readyState == 0) {
    req.open("GET", "/cgi/update.php?id=" + id, true);
    req.setRequestHeader("Content-Type","text/plain");
    req.send(null);
  }
}