hasAttribute: function(element, attribute) { return $(element).getAttributeNode(attribute).specified; } 
Element.hasAttribute = function(element, attribute) { if (element.hasAttribute) return element.hasAttribute(attribute); return Element.Methods.Simulated.hasAttribute(element, attribute); }; 
  hasAttribute: function(element, attribute) {    return $(element).getAttributeNode(attribute).specified;  }
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js