function Val(theForm)
{

  if (theForm.kennziffersuche.value == "")
  {
    alert("Geben Sie bitte eine Kennziffer in das Suchfeld ein.");
    theForm.kennziffersuche.focus();
    return (false);
}

  var checkOK = " 0123456789,.";
  var checkStr = theForm.kennziffersuche.value;
  var allValid = true;
  var decPoints = 0;
  var allNum = "";
  for (i = 0;  i < checkStr.length;  i++)
  {
    ch = checkStr.charAt(i);
    for (j = 0;  j < checkOK.length;  j++)
      if (ch == checkOK.charAt(j))
        break;
    if (j == checkOK.length)
    {
      allValid = false;
      break;
    }
    allNum += ch;
  }
  if (!allValid && checkStr != "nicht berücksichtigen")
  {
    alert("Geben Sie bitte nur Zahlen in das Suchfeld ein.");
    theForm.kennziffersuche.focus();
    return (false);
  }
  
  return (true);
}