function submitForm(){
	var formName = "extrasuche" ;
	document.forms[formName].submit() ;
}