function mapa(cisloKraje) {
  document.getElementById('mapaKraju').src = 'obrazky/mapa_' + cisloKraje + '.gif';
}
function preload() {
  for (i = 0; i < 15; i++) {
    var img = new Image();
    img.src = 'obrazky/mapa_' + i + '.gif';
  }
}