张大强曾梦想仗剑走天涯，看一看世界的繁华，于是背上了行囊，出门去远方闯荡。

好朋友王小明在家乡思念他。  

千纸鹤是寄托思念的一种方式，所以从 2023 年 1 月 1 日这一天开始，王小明坚持每一天折千纸鹤。他是按照如下规则来折千纸鹤的：  

- 每周一折 1 只千纸鹤 
- 每周二折 2 只千纸鹤 
- 每周三折 3 只千纸鹤 
- 每周四折 4 只千纸鹤 
- 每周五折 5 只千纸鹤 
- 每周六折 10 只千纸鹤 
- 每周日折 5 只千纸鹤 

这一年的时间过得很慢，因为思念总是那么的婉转；这一年的时间又过得很快，转眼间就到了 a 年的 b 月 c 日。  

已知 2023 年的 1 月 1 日是星期日。  

王小明想要知道：  

从 2023 年 1 月 1 日开始到 a 年 b 月 c 日（包括 a 年 b 月 c 日这一天），他一共折了多少只千纸鹤？  

一行，三个整数 a, b, c（2023 ≤ a ≤ 9999 且 a 年 b 月 c 日是一个有效的日期）。

输出一个整数，表示从 2023 年 1 月 1 日到 a 年 b 月 c 日王小明一共折了多少只千纸鹤。  

样例解释

从 2023 年 1 月 1 日到 1 月 10 日这 10 天一共折了 5 + 1 + 2 + 3 + 4 + 5 + 10 + 5 + 1 + 2 = 38 只千纸鹤。