1175. Calendar

import java.io.*;
import java.util.*;
import java.text.*;

public class Main {

    /**
     * http://acm.tju.edu.cn/toj/showp1175.html
     * @author hunglee
     */
    public static void main(String[] args) throws IOException {
        
        StreamTokenizer in = new StreamTokenizer(new BufferedReader(
                new InputStreamReader(System.in)));
        
        
        DateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd EEEE");
        
        int n;
        long m, k = 946684800000l;
        
        Date date = new Date();
        do {
            in.nextToken();
            n = (int) in.nval;
            if (n == -1) break;
            
            m = (long) n * 86400000 + k; 
            date.setTime(m);
            System.out.println(dateFormat.format(date));
        } while (true);
    }

}