4,027 coins