Text this: NÂKİD İBRÂHÎM EFENDİ (öl.1717) VE EŞ-ŞERHU’S-SEDÎD Lİ’L-ʻAVÂMİLİ’L-CEDÎD ADLI ESERİ / NAQID IBRAHIM EFENDI (d.1717) AND HIS WORK NAMED AL-SHARH AL-SADEED LI AL-ʻAWAMIL AL-JADEED