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]); return element; 
  scrollTo: function(element) {    element = $(element);    var x = element.x ? element.x : element.offsetLeft,        y = element.y ? element.y : element.offsetTop;    window.scrollTo(x, y);  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/15b6168787a6a25fd1fbbc41a3a5227b899071a9/prototype.js/clean/wp-includes/js/prototype.js