Ahmad al-Buni, Tretrade with the Names of Jinn Kings, 13th c.