static int globalIDLength() {
  ret 16;
}