What is the popullation of Singapore?

4,017,319