var $=jQuery;$(function(){$('#search').focus();$('#form').submit(function(){$('#error').empty().stop(true,true);if(($('#search').val()).replace(/^\s*$/,'')==''){if($('#error').css('display')=='none'){$('#error').text('Please enter text to search for.').show().fadeOut(5000);}else{$('#error').append('<br />Please enter text to search for.');}}else{$('#response').text('Searching...').slideDown('slow');$('#response').load('/phpman.php',{search:$('#search').val()});$('#search').select();}return false;});});