function doSearch(txt){
	searchform.query.value = txt;
	searchform.submit();
	return false;
}