// JavaScript Document

function set_focus()
{
	document.suche.focus();
}