Salahedine is also spelled Salaheddine.