#include <bits/stdc++.h>
int main(void) {
  static char p[10000001];
  int i, j;
  int n;
  for (i = 0; i < 10000001; i++) {
    p[i] = 1;
  }
  p[0] = p[1] = 0;
  for (i = 2; i < 1000; i++) {
    if (p[i]) {
      for (j = 2; j <= 10000000 / i; j++) {
        p[i * j] = 0;
      }
    }
  }
  while (1) {
    scanf("%d", &n);
    if (n == 0) {
      break;
    }
    for (i = n; i >= 13; i--) {
      if (p[i] && p[i - 2] && p[i - 6] && p[i - 8]) {
        printf("%d\n", i);
        break;
      }
    }
  }
  return (0);
}
