13,090 coins