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

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

千纸鹤是寄托思念的一种方式，所以从 2023 年 1 月 1 日这一天开始，王小明坚持每一天折一只千纸鹤。  

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

王小明想要知道：  

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

一行，两个整数 a 和 b。数据保证 2023 年 a 月 b 日是一个有效的日期。  

输出一个整数，表示从 2023 年 1 月 1 日开始到 2023 年 a 月 b 日（包括 a 月 b 日这一天），王小明一共折了多少只千纸鹤。