rem: if(!element.document) return; 
add: if(element.document != undefined && element.document==null) return; 
context:     highlight : function(element) {    	        var highLightColor = "yellow";	        var originalColor = Element.getStyle(element, "background-color");        Element.setStyle(element, {"background-color" : highLightColor});        window.setTimeout(function() {	    if(!element.document) return;            Element.setStyle(element, {"background-color" : originalColor});        }, 200);    }
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/84e11a6e83c31b029017051dff94947c541e9352/htmlutils.js/clean/code/javascript/core/scripts/htmlutils.js