// JavaScript Document

function setFocus() {
	if (document.getElementsByTagName != null)
		document.forms[0].getElementsByTagName("input")[0].focus();
}