function selectAll(a){a.focus();a.select()}function goSearch(){this.document.formJobSearch.submit()}function processKeyPressed(a){var b;if(window.event){b=a.keyCode}else{if(a.which){b=a.which}}if(b==32||b==13){goSearch()}};