function set_focus()
{
	document.forms[0].elements[0].focus();
}