return $(element).getAttribute(name); 
element = $(element); if (document.all && !window.opera) { var t = Element._attributeTranslations; if (t.values[name]) return t.values[name](element, name); if (t.names[name])  name = t.names[name]; var attribute = element.attributes[name]; if(attribute) return attribute.nodeValue; } return element.getAttribute(name); 
  readAttribute: function(element, name) {    return $(element).getAttribute(name);  },
742	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/742/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/clean/public/javascripts/prototype.js