15,994 coins