#include<stdio.h> int main(){ char a[100]; fgets(a,sizeof(a),stdin); if(a[0]=='1'){ if(a[1]=='3'||a[1]=='5'||a[1]=='8'){ printf("yes"); return 0; } } printf("no"); return 0; } 菜鸡互啄，我是菜鸡呜呜呜