// JavaScript Document
function GetString(){
		var Strings = document.boxsearch.inputKey.value;
		Strings = replacequery_search(Strings);
		if((Strings=="") || (Strings==null)){
			document.boxsearch.inputKey.focus();
			return false;			
		}else{
			var urlold = document.boxsearch.action;
			document.boxsearch.action = urlold + (Strings);
		}
		return true;			
}
function ChangeOption(id)
{
		var id = 'option'+id;
		var URL = document.getElementById(id).value;
		document.boxsearch.action = URL;		
}