254,283 coins