题目描述

在我们现在使用的日历中，闰年被定义为能被 $4$ 整除的年份，但是能被 $100$ 整除而不能被 $400$ 整除的年是例外，它们不是闰年。例如：$1700$，$1800$，$1900$ 和 $2100$ 不是闰年，而 $1600$，$2000$ 和 $2400$ 是闰年。给定从公元 $2000$ 年 $1$ 月 $1$ 日开始逝去的天数，你的任务是给出这一天是哪年哪月哪日星期几。

输入

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

输出

输出一行，该行包含对应的日期和星期几。格式为 "YYYY-MM-DD DayOfWeek"，其中 "DayOfWeek" 必须是下面中的一个："Sunday"，"Monday"，"Tuesday"，"Wednesday"，"Thursday"，"Friday" 或 "Saturday"。

样例输入

1

样例输出

2000-01-02 Sunday