<!--


function showKraj(hodnota){
    document.mapa.kraj.value=hodnota;
}


function hideKraj(){
    document.mapa.kraj.value="";
}

function setKraj(hodnota){
    document.mapa.setkraj.value=hodnota;
    document.mapa.submit();
}

function setOkres(hodnota){
    document.mapa.okres.value=hodnota;
    document.mapa.zadaj.value="Zadaj";
    document.mapa.submit();
}

//-->