hivatalos megnevezés: Javorec, magyar megnevezés: Javorec településrész -> Ószombat, kód: [504840], járás: Szénásfalu [205], kerület: Nagyszombati kerület [2]