#include <bits/stdc++.h>

using namespace std;

struct datum{
    int e,h,n;
};

int main()
{
//    ifstream cin("in.txt");

    datum norm;
    cin>>norm.e>>norm.h>>norm.n;

        if(norm.h==12 && norm.n==31){
            cout<<norm.e<<" "<<norm.h<<" "<<"VN";
        }
        else if(norm.e%4==0 && norm.h==7 && norm.n==1){
            cout<<norm.e<<" "<<norm.h-1<<" "<<"SZN";
        }
        else if(norm.h==1 || norm.h==4 || norm.h==7 || norm.h==10){
            if(norm.n==1)
                cout<<norm.e<<" "<<norm.h-1<<" "<<30;
            else cout<<norm.e<<" "<<norm.h<<" "<<norm.n;
        }
        else if(norm.n==31){
            cout<<norm.e<<" "<<norm.h+1<<" "<<1;
        }
        else {cout<<norm.e<<" "<<norm.h<<" "<<norm.n;}

    return 0;
}