4,012,207 coins