// Wayback Machine hacks
var __wbhack = new function(){
  var prefix;
  var orig_document = {
    createElementNS: document.createElementNS
  };
  this.init = function(_prefix) {
    this.checkCookiesNumber();
    prefix = _prefix;
    document.createElementNS = function(ns,name) {
      if (ns.indexOf(prefix)==0) {
	ns = ns.substring(prefix.length).replace(/\/?[0-9]+\//, '');
      }
      return orig_document.createElementNS.call(this, ns, name);
    };
  };
  this.createCookie = function(name,value,days) {
    if (days) {
        var date = new Date();
        date.setTime(date.getTime()+(days*24*60*60*1000));
        var expires = "; expires="+date.toGMTString();
    }
    else var expires = "";
    document.cookie = name+"="+value+expires+"; path=/";
  };
  this.eraseCookie = function(name) {
    this.createCookie(name, "", -1);
  };
  this.checkCookiesNumber = function() {
    var cookies = document.cookie.split(";");
    if(cookies.length > 40) {
        for(var i=0; i<cookies.length; i++) {
            var name = cookies[i].split("=")[0].trim();
            this.eraseCookie(name);
        }
    }
  };
  // save JSON object for our use - some target pages redefine JSON with their
  // own version that may not be compatible with (now) standard JSON.
  this.JSON = JSON;
};