3,824,222 coins