6,413 coins