133,931 coins