if (element.select) 
if (element.select && ( element.tagName.toLowerCase() != 'input' || !['button', 'reset', 'submit'].include(element.type) ) ) 
  activate: function(element) {    element = $(element);    element.focus();    if (element.select)      element.select();  }
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/328e05b227c420e11178ba4eb2eb0e10862b193f/prototype.js/clean/wp-includes/js/prototype.js