var sendenButtonDoppelt = false;

function rr_pruefen() {
    var val1 = document.forms['rueckruf']['NUMMER'].value;
	
	val1 = trim(val1);
	
	if( (val1 == '') || (val1 == 'Ihre Tel-Nummer') )
	{
		alert("Bitte tragen Sie eine Telefonnummer ein!");
		document.forms['rueckruf']['NUMMER'].focus();
		return false;
	}
	if(!sendenButtonDoppelt)
	{
		sendenButtonDoppelt=true;
		return true;
	}
	alert ("Bitte etwas Geduld! Ihre Rückruf-Bitte wird gerade verarbeitet...");
	return false;
}


function trim (zeichenkette) {
  // Erst führende, dann Abschließende Whitespaces entfernen
  // und das Ergebnis dieser Operationen zurückliefern
  return zeichenkette.replace (/^\s+/, '').replace (/\s+$/, '');
}