#include <stdio.h>

int main(void) {
  
    int original_data[] = {3, 8, 2, 4, 7, 6, 5, 9, 0, 1};
    int N = 10; 
    
  
    int T[11];
    for (int i = 0; i < N; i++) {
        T[i] = original_data[i];
    }
    
    int x;
    
    if (scanf("%d", &x) != 1) {
        return 1; 
    }
    
    
    T[N] = x;
    
    
    int k = 0;
    while (T[k] != x) {
        k++;
    }
    
    
    if (k < N) {
        printf("Found at %d\n", k + 1);
    } else {
        printf("Not found\n");
    }
    
    return 0;
}