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

int main (int argc, char *argv[]) {
  int pub, s=7, n=1;
  pub = atoi(argv[1]);
  while (s != pub) {
    s = (s*7) % 20201227;
    n++;
  }
  printf("%d\n", n);
}