function zvyrazni_kraj(id)
      {
        var i = 0;
        for (i = 1; i < 15; i++)
        {
          if (i == id)
          {
            document.getElementById("kraj" + i).style.color = "red";
          }
          else
          {
            document.getElementById("kraj" + i).style.color = "";
          }
        }
      }
    
      function zobraz_mesta_kraje(id)
      {
        document.getElementById("seznam_kraju").style.display = "none";
        
        var i = 0;
        for (i = 1; i < 15; i++)
        {
          if (i == id)
          {
            document.getElementById("mesta_kraje" + i).style.display = "";
          }
          else
          {
            document.getElementById("mesta_kraje" + i).style.display = "none";
          }
        }
      }