html = typeof html == 'undefined' ? '' : html.toString(); 
  replace: function(element, html) {    element = $(element);    if (element.outerHTML) {      element.outerHTML = html.stripScripts();    } else {      var range = element.ownerDocument.createRange();      range.selectNodeContents(element);      element.parentNode.replaceChild(        range.createContextualFragment(html.stripScripts()), element);    }    setTimeout(function() {html.evalScripts()}, 10);    return element;  },
742	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/742/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/clean/public/javascripts/prototype.js