What was the old name of Singapore?

What was the old name of Singapore?A. Ceylon
B. Temasek
C. Nippon
D. Bohemia

Singapore was known in the 13th to 14th century as Temasek, a name also recorded in Chinese sources as Dan Ma Xi, a country recorded as having two distinct settlements – Long Ya Men and Ban Zu. It changed its name to Singapura perhaps towards the end of 14th century.