What is the population of Malaysia?