function submitSearch() {
	var searchterm=document.getElementById('myInputtext').value;
	if (searchterm.length>3) {
	  document.getElementById('search').action='/search/'+searchterm;
	  document.getElementById('search').submit();
	}
}
function notesent() {
	document.getElementById('note_sent').style.display='';
	document.getElementById('note_form').style.display='none';
}