function CheckInput (warnung) {
    if (document.getElementsByName("suche")[0].value.length < 3) {
      alert(warnung);
      document.getElementsByName("suche")[0].focus();
      return false;
    }
  return true;
}


function suche(warnung){
	if (document.getElementsByName("suche")[0].value == "Suche") {
		document.getElementsByName("suche")[0].value="";
	} 
  if (CheckInput (warnung)){
	this.document.form_suche.submit()
  }
}

function change(){
	this.document.formular.update.value=2;
	this.document.formular.submit();
}