function searchfocus() {
	if (document.getElementById("tx")) {
		document.getElementById("tx").focus();
	}
}