function searching() { // arrive here because the GO button on the search box was clicked
	var href = "search/" + document.getElementById('searchinput').value;
	window.location.href=href;
}