7,994 coins