// JavaScript Document
function doSearch() {
	var search_input = document.getElementById("query");
	var search = search_input.value;
	if (search.length == 0)
	{
		alert("Please, provide search string");
		return;
	}
	document.getElementById("searchForm").submit();
}
