503,142 coins