1,257 coins