if (!element.attributes) return null; 
  readAttribute: function(element, name) {    element = $(element);    if (Prototype.Browser.IE) {      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];      return attribute ? attribute.nodeValue : null;    }        return element.getAttribute(name);  },
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/811fb8628683e9936c39b6f33ec7a27f60918768/dom.js/buggy/src/dom.js