4,075 coins