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