#include<stdio.h> int main(){ int a; scanf("%d",&a); if(a%3==0 &&a%7!=0) printf("是\n"); else printf("否\n");}