Title: Elias' pocket dictionary, Arabic-English