// Vectores útiles para diversas páginas: cobertura_wifi.html y tiendas/index.html
ristra_codigos_provincias = new Array (
"a coruña",
"alava",
"albacete",
"alicante",
"almeria",
"asturias",
"avila",
"badajoz",
"baleares",
"barcelona",
"burgos",
"caceres",
"cadiz",
"cantabria",
"castellon",
"ceuta",
"ciudad real",
"cordoba",
"cuenca",
"girona",
"granada",
"guadalajara",
"guipuzcoa",
"huelva",
"huesca",
"jaen",
"la rioja",
"las palmas",
"leon",
"lugo",
"lleida",
"madrid",
"malaga",
"melilla",
"murcia",
"navarra",
"ourense",
"palencia",
"pontevedra",
"salamanca",
"santa cruz de tenerife",
"segovia",
"sevilla",
"soria",
"tarragona",
"teruel",
"toledo",
"valencia",
"valladolid",
"vizcaya",
"zamora",
"zaragoza"
);

ristra_provincias=new Array (
"A Coruña",
"Álava",
"Albacete",
"Alicante",
"Almería",
"Asturias",
"Ávila",
"Badajoz",
"Baleares",
"Barcelona",
"Burgos",
"Cáceres",
"Cádiz",
"Cantabria",
"Castellón",
"Ceuta",
"Ciudad Real",
"Córdoba",
"Cuenca",
"Girona",
"Granada",
"Guadalajara",
"Guipúzcoa",
"Huelva",
"Huesca",
"Jaén",
"La Rioja",
"Las Palmas",
"León",
"Lugo",
"Lleida",
"Madrid",
"Málaga",
"Melilla",
"Murcia",
"Navarra",
"Ourense",
"Palencia",
"Pontevedra",
"Salamanca",
"Santa Cruz de Tenerife",
"Segovia",
"Sevilla",
"Soria",
"Tarragona",
"Teruel",
"Toledo",
"Valencia",
"Valladolid",
"Vizcaya",
"Zamora",
"Zaragoza");

function rStr(inputString, fromString, toString) {  
   // Goes through the inputString and replaces every occurrence of fromString with toString
   var temp = inputString;
   if (fromString == "") {
      return inputString;
   }
   if (toString.indexOf(fromString) == -1) { // If the string being replaced is not a part of the replacement string (normal situation)
      while (temp.indexOf(fromString) != -1) {
         var toTheLeft = temp.substring(0, temp.indexOf(fromString));
         var toTheRight = temp.substring(temp.indexOf(fromString)+fromString.length, temp.length);
         temp = toTheLeft + toString + toTheRight;
      }
   } else { // String being replaced is part of replacement string (like "+" being replaced with "++") - prevent an infinite loop
      var midStrings = new Array("~", "`", "_", "^", "#");
      var midStringLen = 1;
      var midString = "";
      // Find a string that doesn't exist in the inputString to be used
      // as an "inbetween" string
      while (midString == "") {
         for (var i=0; i < midStrings.length; i++) {
            var tempMidString = "";
            for (var j=0; j < midStringLen; j++) { tempMidString += midStrings[i]; }
            if (fromString.indexOf(tempMidString) == -1) {
               midString = tempMidString;
               i = midStrings.length + 1;
            }
         }
      } // Keep on going until we build an "inbetween" string that doesn't exist
      // Now go through and do two replaces - first, replace the "fromString" with the "inbetween" string
      while (temp.indexOf(fromString) != -1) {
         var toTheLeft = temp.substring(0, temp.indexOf(fromString));
         var toTheRight = temp.substring(temp.indexOf(fromString)+fromString.length, temp.length);
         temp = toTheLeft + midString + toTheRight;
      }
      // Next, replace the "inbetween" string with the "toString"
      while (temp.indexOf(midString) != -1) {
         var toTheLeft = temp.substring(0, temp.indexOf(midString));
         var toTheRight = temp.substring(temp.indexOf(midString)+midString.length, temp.length);
         temp = toTheLeft + toString + toTheRight;
      }
   } // Ends the check to see if the string being replaced is part of the replacement string or not
   return temp; // Send the updated string back to the user
} // Ends the "replaceSubstring" function