13,032,200 coins