hivatalos megnevezés: Stropkov, magyar megnevezés: Sztropkó településrész -> Sztropkó, kód: [527840], járás: Sztropkó [711], kerület: Eperjesi kerület [7]