İsmail — mahalle (administrative quarter) in Hınıs, Erzurum, eastern Turkey