rem: while (target != div && target != document.documentElement) { 
add: while (target != div && target != null) { 
context: OpenLayers.Util.mouseLeft = function (evt, div) {    // start with the element to which the mouse has moved    var target = (evt.relatedTarget) ? evt.relatedTarget : evt.toElement;    // walk up the DOM tree.    while (target != div && target != document.documentElement) {        target = target.parentNode;    }    // if the target we stop at isn't the div, then we've left the div.    return (target != div);};
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/97fd946c9a4c0e1c9ef76100e5057df28c33b9cc/Util.js/buggy/lib/OpenLayers/Util.js