function searchAnotherSection(a, section) {
	var hndl = document.getElementById("q");
	if (hndl != null && hndl.value.length > 0 ) {
		a.href=section+"?q="+hndl.value;
	}
}

function searchEncyclopedy(a) {
	var hndl = document.getElementById("q");
	if (hndl != null && hndl.value.length > 0) {
		a.href="index?show=enc&encQuery="+hndl.value;
		a.target="_blank";
	} else {
		a.href="index?show=enc";
		a.target="_self";
	}
}