7,400 coins