#include<stdio.h>
int main(){
    int a;
    scanf("%d",&a);
    if(a!=isdigit){
        printf("Invalid input");
    }else if(a/5&&a/11){
        printf("True");
    }else{
        printf("False");
    }
}