hasAttribute: function(element, attribute) { var t = Element._attributeTranslations; attribute = t.names[attribute] || 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) {    var t = Element._attributeTranslations;    attribute = t.names[attribute] || attribute;    return $(element).getAttributeNode(attribute).specified;  }
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/d6b4808d8049a47f085af95ebdc565a2742b9f0f/prototype.js/buggy/wp-includes/js/prototype.js