element.blur(); 
  disable: function(element) {    element = $(element);    element.disabled = true;    return element;  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/37a06e5ed1bdb861348bb0cfd02f71470a0dfdfb/prototype.js/clean/lib/prototype.js