//No.2878 𝕀𝔾ℕ𝕀𝕋𝕀𝕆ℕ
#include <stdio.h>

int main(){
    
    char theme[] = {"IGNITION"};
    int i;
    scanf("%d", &i);
    
    printf("%c\n", theme[i-1]);

    return 0;
}