function setSearchString(str) {
	var queryField = document.getElementById("query");
	queryField.value = str;
	queryField.focus();
}

function appendSearchString(str) {
	var queryField = document.getElementById("query");
	var qvs = queryField.value;
	queryField.value = qvs + str;
	queryField.focus();
}