Description

杭城阔少磊神十分的有钱，他随身只带 $10,20,50$ 元的纸币。

一天他去天猫超市购买了一件价格是 $n$ 元的物品，磊神不想让找回来的钱超过 $9$ 元，请问他有多少种不同的付款方式？两种付款方式不同，当且仅当两种付款方式中有一种面额的纸币的数量不同。

Format

Input

一个正整数 $n(1 \leqslant n \leqslant 2 \times 10^4)$。

Output

输出一个正整数，表示不同的付款方式的种类数量。

Samples

32

3

磊神不希望找回来的钱大于 $9$，所以付款方式有三种。

• $10 + 10 + 10 + 10 = 40$
• $10 + 10 + 20 = 40$
• $20 + 20 = 40$

133

16