var id = getEventID(element), name = getDOMEventName(eventName); 
var name = getDOMEventName(eventName); 
    observe: function(element, eventName, handler) {      element = $(element);      var id = getEventID(element), name = getDOMEventName(eventName);      var wrapper = createWrapper(id, eventName, handler);      if (!wrapper) return element;      if (element.addEventListener) {        element.addEventListener(name, wrapper, false);      } else {        element.attachEvent("on" + name, wrapper);      }      return element;    },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/b8ec17fb9a9503b3599947de79d66a077d483799/prototype.js/clean/lib/prototype.js