var t = Element._attributeTranslations; 
var t = Element._attributeTranslations, node; 
  hasAttribute: function(element, attribute) {    var t = Element._attributeTranslations;    attribute = t.names[attribute] || attribute;    return $(element).getAttributeNode(attribute).specified;  }
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/94d83334488b80e69ff1cc0811d56e8c22f2449b/dom.js/clean/src/dom.js