13,488 coins