function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      oldonload();
      func();
    }
  }
}

function OpenPage(id) {
  var file = "index.php3?id=" + id;
  self.location= file;
}

function OpenPageInhalt(id, param) {
  var file = "index.php3?id=" + id + "&param=" + param;
  self.location= file;
}

function OpenPageSeite(id, param, pageID, mID) {
  var file = "index.php3?id=" + id + "&param=" + param+ "&pageID=" + pageID+ "&mID=" + mID;
  self.location= file;
}

function link()
 {
  var oldFilename;
  var newFilename;
  var oldURL = document.URL;
  var lastSlash = oldURL.lastIndexOf("/");
  var lastBackslash = oldURL.lastIndexOf("\\");
  var slashPos = lastSlash;
  if (lastBackslash > lastSlash) // Internet Explorer; Windows
   {
    slashPos = lastBackslash;
   }
  oldFilename = oldURL.substr(slashPos + 1);
  newFilename = document.getElementById("select").value;
  if ((newFilename.length != 0) && (newFilename != oldFilename))
   {
    var newURL = oldURL.substr(0,slashPos + 1) + newFilename;
    window.location.href = newURL;
    // window.location.reload(); // IE workaround?
   }
 }