Hoeveel inwoners heeft Nieuw Guinea?