Dương lịch được tính bắt đầu từ ngày 1 tháng 1 năm 1 (Sau Công nguyên). Và ngày khởi đầu Dương lịch được xác định là thứ 7 (bảy).

Một năm Dương lịch có 365 ngày. Riêng các năm chia hết cho 4 (năm nhuận) thì có 366 ngày (tháng 2 có 29 ngày).

Tháng 10 năm 1582, Giáo hoàng Grêgôriô XIII có một sự sửa đổi cách tính năm nhuận Dương Lịch như sau:

• Năm chia hết cho 400.
• Nếu không thì năm chia hết cho 4 nhưng không chia hết cho 100.

Và cách tính này chỉ áp dụng từ năm 1582 trở về sau.

Đặc biệt: sau ngày 4 tháng 10 năm 1582 (thứ năm) thì ngày tiếp theo là ngày thứ sáu 15 tháng 10 năm 1582 (bỏ qua các ngày 5 đến 14 tháng 10 năm 1582).

Input

• Dữ liệu vào gồm 3 dòng:
  • Dòng 1: số tự nhiên \(\text{Day}\) (\(1 \le \text{Day} \le 31\)).
  • Dòng 2: số tự nhiên \(\text{Month}\) (\(1 \le \text{Month} \le 12\)).
  • Dòng 3: số tự nhiên \(\text{Year}\) (\(1 \le \text{Year} \le 10^{13}\)).

Output

• In ra 2 dòng:
  • Dòng 1: in ra ngày thứ mấy theo Dương Lịch (ngày 1/1/1 là ngày thứ 1).
  • Dòng 2: in ra ngày tháng năm nhập vào là ngày thứ mấy trong tuần.

Example

17
3
8

Ngay thu: 2633
Thu bay

29
11
1582

Ngay thu: 577783
Thu hai

Note

• Dữ liệu test đảm bảo ngày tháng năm hợp lệ theo Dương lịch – Lịch Gregorius