function searchButtonJs()
	{
		 var orig = document.getElementById('sinput').value; 
		 document.getElementById('sinput').value = orig.replace( /\./, '˙' );
		 document.site_search_form.submit();
		 document.getElementById('sinput').value = orig;
	}