题目描述

在我们现在使用的日历中, 闰年被定义为能被4整除的年份，但是能被$\red{100}$整除而不能被$\red{400}$整除的年是例外，

它们不是闰年。例如：1700, 1800, 1900 和 2100 不是闰年，而 1600, 2000 和 2400是闰年。

给定从公元2000年1月1日开始逝去的天数，你的任务是给出这一天是哪年哪月哪日星期几。

2000年1月1日是 周六

输入格式

输入一行，每行包含一个正整数，表示从2000年1月1日开始逝去的天数。数据保证结果的年份不会超过$\red{9999}$。

输出格式

输出一行，该行包含对应的日期和星期几。格式为“YYYY-MM-DD DayOfWeek”,

其中 “DayOfWeek” 必须是下面中的一个： "Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday" 或 "Saturday“。

样例

输入样例

1

输出样例

2000-01-02 Sunday