#include<iostream>
using namespace std;
int main()
{
    int ZT, XY, n;
    cin>>ZT>>XY>>n;
    cout<<n<<endl;

    cout<<XY<<":"<<ZT<<endl;
    if((ZT=="00") or (XY==ZT) or (XY==TZ) or (Y=X+1, Z=Y+1, T=Z+1)
       cout"YES"<<endl;
    else
    cout<<"NO" <<endl
}