räknade 1880 15,000 personer och det malajisks 12 , 000.