var x = element.x ? element.x : element.offsetLeft, y = element.y ? element.y : element.offsetTop; window.scrollTo(x, y); 
var pos = Position.cumulativeOffset(element); window.scrollTo(pos[0], pos[1]); 
  scrollTo: function(element) {    element = $(element);    var x = element.x ? element.x : element.offsetLeft,        y = element.y ? element.y : element.offsetTop;    window.scrollTo(x, y);    return element;  },
708	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/708/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/buggy/public/javascripts/prototype.js