sS makeAGIDomain(S s) {
  ret makeAGIDomainPart(s) + ".agi.blue";
}