hivatalos megnevezés: Horná Dolina, magyar megnevezés: Horná Dolina településrész -> Berencsváralja, kód: [504653], járás: Szénásfalu [205], kerület: Nagyszombati kerület [2]