// JavaScript Document
function submit_search()
{
	var ss = document.getElementById("search_string");
	if (ss.value != '')
	{
		self.location.href = '/search/'+ss.value;	
	}
	else
	{
		alert("Please enter a search string.");	
	}
}