// JavaScript Document
<!--//
// This script used to call and aid the old search tool. This has been replaced by a google search.
// As each page in the site calls this script its easier to remove the code from the script and let the
// pages call a blank script rather than removing the call from 300+ pages
// For reference the old code is stored under search_no_longer_used.js
function searchDefaults(){
	
}
//-->