rem: var pos = Position.cumulativeOffset(element); 
add: var pos = element.cumulativeOffset(); 
context:   scrollTo: function(element) {    element = $(element);    var pos = Position.cumulativeOffset(element);    window.scrollTo(pos[0], pos[1]);    return element;  },
meta: 9100	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9100/2d4247a14ff4ce25ad80cbc65b787dfde7ddb16e/prototype.js/buggy/typo3/contrib/prototype/prototype.js