disable: function(form) { var elements = Form.getElements(form); for (var i = 0; i < elements.length; i++) { var element = elements[i]; element.blur(); element.disabled = 'true'; } 
disable: function(element) { element = $(element); element.disabled = true; return element; 
  disable: function(form) {    var elements = Form.getElements(form);    for (var i = 0; i < elements.length; i++) {      var element = elements[i];      element.blur();      element.disabled = 'true';    }  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/328e05b227c420e11178ba4eb2eb0e10862b193f/prototype.js/clean/wp-includes/js/prototype.js