official name: Javorina (vojenský obvod), hungarian name: Javorina (vojenský obvod) (township), code: [523551], district: Kežmarok [703], county: Prešovský kraj [7]
