function validar(formulario){ 
  // primera comprobación 
  if(formulario.telefono.value == ''){ 
    // informamos del error 
    alert('Debes insertar tu número de teléfono'); 
    // seleccionamos el campo incorrecto 
    formulario.telefono.focus(); 
    return false; 
  } 
  var checkOK = "0123456789"; 
  var checkStr = formulario.telefono.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) { 
    alert("Escribe sólo dígitos en el campo teléfono.");
    formulario.telefono.focus(); 
    return (false);
	}

  return true; 
}