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

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

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

- 第 1 天（2023 年 1 月 1 日），折 1 只千纸鹤；
- 第 2 天（2023 年 1 月 2 日），折 2 只千纸鹤；
- 第 3 天（2023 年 1 月 3 日），折 3 只千纸鹤；
- 第 4 天（2023 年 1 月 4 日），折 4 只千纸鹤；
- ……
- 第 i 天（即：从 2023 年 1 月 1 日开始的第 i 天），折 i 只千纸鹤；
- ……

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

王小明想要知道：  

从 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 日到 2023 年 2 月 2 日一共经过了 33 天，这 33 天一共折了 1 + 2 + 3 + \ldots + 33 = 561 只千纸鹤。