#include <iostream>
#include<string>
using namespace std;
#include<regex.h>
#include<stdio.h>
 
 
int main()
{
 string mon;
 cin>>mon;
 cout << mon << endl;
 string exp_month = mon;
 string monthRegex = "0[1-9]\\|1[0-2]";
 regex_t    preg;
 int        rc;
 
 if (0 != (rc = regcomp(&preg, monthRegex.c_str(), REG_NOSUB))) {
    cout<<("regcomp() failed, returning nonzero (%d)\n", rc);
    exit(EXIT_FAILURE);
   }
 
 
 if (regexec(&preg,exp_month.c_str(),0,NULL,0)==0)
 {
    cout<<"yess";  
 }
 else
 {
     cout<<"no";
 }
 return 0;
}

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZTxzdHJpbmc+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNpbmNsdWRlPHJlZ2V4Lmg+CiNpbmNsdWRlPHN0ZGlvLmg+CgoKaW50IG1haW4oKQp7CiBzdHJpbmcgbW9uOwogY2luPj5tb247CiBjb3V0IDw8IG1vbiA8PCBlbmRsOwogc3RyaW5nIGV4cF9tb250aCA9IG1vbjsKIHN0cmluZyBtb250aFJlZ2V4ID0gIjBbMS05XVxcfDFbMC0yXSI7CiByZWdleF90ICAgIHByZWc7CiBpbnQgICAgICAgIHJjOwoKIGlmICgwICE9IChyYyA9IHJlZ2NvbXAoJnByZWcsIG1vbnRoUmVnZXguY19zdHIoKSwgUkVHX05PU1VCKSkpIHsKICAgIGNvdXQ8PCgicmVnY29tcCgpIGZhaWxlZCwgcmV0dXJuaW5nIG5vbnplcm8gKCVkKVxuIiwgcmMpOwogICAgZXhpdChFWElUX0ZBSUxVUkUpOwogICB9CgoKIGlmIChyZWdleGVjKCZwcmVnLGV4cF9tb250aC5jX3N0cigpLDAsTlVMTCwwKT09MCkKIHsKICAgIGNvdXQ8PCJ5ZXNzIjsgIAogfQogZWxzZQogewogICAgIGNvdXQ8PCJubyI7CiB9CiByZXR1cm4gMDsKfQ==

MDk=

09