hivatalos megnevezés: Veľká Chocholná, magyar megnevezés: Nagytarajos (településrész -> Tarajosvelcsőc [Chocholná – Velčice]), kód: [506087], járás: Trencsén [309], kerület: Trencséni kerület [3]