hivatalos megnevezés: Michalok, magyar megnevezés: Felsőmihályi (település), kód: [528889], járás: Varannó [713], kerület: Eperjesi kerület [7]
