hivatalos megnevezés: Davidov, magyar megnevezés: Dávidvágása (település), kód: [544159], járás: Varannó [713], kerület: Eperjesi kerület [7]
