// common functions

function doSearch(tbId)
{
	window.location = '/search/'+document.getElementById(tbId).value;
}

function doDirectSearch(tbId)
{
	window.location = '/search/direct/'+document.getElementById(tbId).value;
}