7,507 coins