3,142 coins