static bool possibleComputerID(S s) {
  ret l(s) == 12 && allLowerCaseCharacters(s);
}