readAttribute: function(element, name) { return $(element).getAttribute(name); }, 
Element.Methods.readAttribute = function(element, attribute) { if (attribute == 'title') return element.title; return Element._readAttribute(element, attribute); }; 
  readAttribute: function(element, name) {    return $(element).getAttribute(name);  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js