#include <bits/stdc++.h>
int main() {
  int n;
  char s[100];
  scanf("%d%s", &n, s);
  if (n < 3200) {
    printf("%s\n\na = %d is less than 3200, so we print %s.\n", s, n, s);
  } else {
    printf("%s\n\na = %d is not less than 3200, so we print s = %s.\n", s, n,
           s);
  }
  return 0;
}
