function verification() {

  var codeP = document.recherche.CodePostal.value ;

	if(codeP == "" && document.recherche.nom.value == "")  {
		alert ("Veuillez renseigner le département, code postal, commune \nou le nom de l'opérateur de services.");
		return false;
	}

  if ( document.recherche.nom.value == "" ) {

  	if(isNumeric(codeP) && codeP.length !=5 && codeP.length !=2) {
  		alert ("Un code postal ne peut comporter que 5 chiffres \nou 2 chiffres pour un département.");
  		return false;
  	}

  	if(!isNumeric(codeP) && codeP.substring(5,10) != " - - " && codeP.substring(2,7) != " - - " && codeP.substring(1,6) != " - - ") {
  	   alert ("Veuillez sélectionnez votre choix dans la liste ci-dessous.") ;
  	   return false;
  	}

  }


  return true;
}

function isNumeric(sText) {
  var ValidChars = "0123456789.";
  var IsNumber=true;
  var Char;
  for (i = 0; i < sText.length && IsNumber == true; i++)
  {
    Char = sText.charAt(i);
    if (ValidChars.indexOf(Char) == -1)
    {
      IsNumber = false;
    }
  }
  return IsNumber;
}