4,134 coins