s3:idmap:autorid: rename domainnum to rangenum