Saefuddin is also spelled Saifuddin.