AGRS发行总量多少?