3,535 coins