Sorry. I should have been more specific. I am speaking of the Search widget that comes with WordPress, not one of the plugins. I’ve looked for the code in every php file of the blank theme I am using, but I can’t find anything promising. I suppose the code is in WordPress.com somewhere.