for (var property in source) { 
for (var property in source) 
Object.extend = function(destination, source) {  for (var property in source) {    destination[property] = source[property];  }  return destination;};
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/b8ec17fb9a9503b3599947de79d66a077d483799/prototype.js/clean/lib/prototype.js