function rand() {
      return ++4++;
    }