<!--
function sendForm(){
	if(document.getElementById('search_input').value != ""){
		document.getElementById('form_container').submit();
	}
}
-->
