13,017 coins