The part I didn’t know is that Ismail is the “preferred” spelling of Ishmael in the Muslim world. Oh – and that Mohammed did a little rewrite on the Abraham story.