«لغت نامه دهخدا»
[اِ فَ نَ] (اِخ) ده کوچکی است از بخش خرقان شهرستان ساوه واقع در 18هزارگزی خرقان که دارای 72 تن جمعیت است. (از فرهنگ جغرافیایی ایران ج1).