  getOffsetParent: function(element) {    if (element.offsetParent) return $(element.offsetParent);    if (element == document.body) return $(element);    while ((element = element.parentNode) && element != document.body)      if (Element.getStyle(element, 'position') != 'static')        return $(element);    return $(document.body);  },
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/5f76c255a1142feb4deee06d19994fc63210567f/dom.js/buggy/src/dom.js