// page stats
if (self != top) 
{ var script, i
  script = document.getElementsByTagName('script')
  script = script[script.length-1]
  i = script.src.indexOf("?")
  if (i != -1) stats(location.pathname+"?"+script.src.substr(i+1))
  else stats(location.pathname)
}

function stats(file)
{ var script, xhr;
  script = "/beheer/access/access.php?"+file
  xhr = ajax()
  if (typeof(xhr) != "undefined")
  { xhr.open("post",script,true)
    xhr.send("")
  }
  else
  { xhr = new Image()
    xhr.src = script
  }
}

function ajax()
{ try {return new XMLHttpRequest()} catch(e) {}
  try {return new ActiveXObject("Msxml2.XMLHTTP.6.0")} catch(e) {}
  try {return new ActiveXObject("Msxml2.XMLHTTP.3.0")} catch(e) {}
  try {return new ActiveXObject("Msxml2.XMLHTTP")} catch(e) {}
  try {return new ActiveXObject("Microsoft.XMLHTTP")} catch(e) {}
}