The Ministry of Manpower took advice from community leaders who all gave input on deciding which days would be named a public holiday in Singapore. Due to this inclusive decision-making the full cultural and religious breadth of Singapore is represented in the 11 official public holidays. There are other days celebrated by various groups in the population but government decided not to make more of them into a Public Holiday in Singapore importance of corporate functions due to the high cost this would have had on local businesses. If desired workers can 'exchange' days and work an official holiday in order to take a different day off instead. Amongst these days are the Christian Ascension Day, Muslim birthday of the prophet Mohammed, Muharran and Mawlid and the Hindu Thaipusan. If an official public holiday falls on a Sunday it is standard policy, as with other countries, for the Monday following to be the work-free day. The President has the discretion to name other days as public holidays should there be a need for it.