//http://www.javascripter.net/faq/index.htm
var n = 1 ;
var si = 0 ;
var cp = new Array(); 

function comprobarCP(input){ 
        var str = input.value;
        if (str.length != 5) {
                alert("El codigo postal no tiene 5 cifras.");
                return false}
        for (var i = 0; i < str.length; i++) {
                var digito = str.substring(i,i + 1)
                if (digito < "0" || digito > "9") {
                        alert("El codigo postal solo debe contener numeros.")
                        return false }
                }
        var numero = parseFloat(input.value)
        if (numero < 1000 || numero > 52001) { 
                alert("Codigo postal fuera del rango 01000 - 52001.")
                return false}
        return true }

function calcular(form){
	if (!comprobarCP(form.cp)) { return }
        var codigo = form.cp.value ;
        if (( codigo / 100) % 10 < 1 ) codigo = codigo - ( codigo % 1000 ) ;
	buscarCP(codigo) ;
	if ( si != 0 ) {
	  fichero = si+".pdf" ; 
	  window.open(fichero) ; 
	}
	else
	{ alert ("Código postal no encontrado. Inténtelo con el de un municipio cercano."); }
        return}

function buscarCP(codigo){
        si = 0 ;
        var i = 1 ;
        while (i <= n) {
          if ( codigo == cp[i] ){
           si = cp[i] ;
          }
          i++;
        }
        return}

function ventanaayuda(){
        explicacion = window.open("explicacion.html","ventanaayuda",
	        "width=600,height=800,scrollbars=yes");
        return(explicacion);}

function recargar(){
        self.location=location.href;
        return}