5,438,230 coins