8,540 coins