#include <stdio.h>
#include <stdlib.h>

void main(void) {
  srand(0);
  int cpt = 1;
  while (rand() != 0) {
    cpt++;
  }
  printf("%12d\n", cpt);
}