13,807 coins