#include <stdio.h>

int isleap(int y)
{
    if (y%4) return 0;
    if ((!(y%100)) && (y%400)) return 0;
    return 1;
}

int getds(int ds[],int y,int m)
{
    if (m!=2) return ds[m];else return isleap(y)?29:28;
}

int getdy(int y)
{
    return isleap(y)?366:365;
}

int main()
{
    int n,i,j,temp;
    int ds[13]={0,31,(1<<16),31,30,31,30,31,31,30,31,30,31};
    char* weekday[7]={"Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"};
    while (scanf("%d",&n)>=1&&n!=-1)
    {
        int y=2000,m=1;
        j=n-1;n++;
        while (n>(temp=getdy(y))) {n-=temp;y++;}
        while (n>(temp=getds(ds,y,m))) {n-=temp;m++;if (m==13) {m=1;y++;}}
        printf("%04d-%02d-%02d %s\n",y,m,n,weekday[j%7]);
    }
    return 0;
}