Description

汪星人年龄D与人类年龄A的换算式为

A=13+D*5

也就是说，汪星人1岁相当于人类18岁，汪星人2岁相当于人类23岁.... 现在已知汪星人的年龄，请写程序计算，它相当于人类多少岁

Format

Input

输入一个整数D，为汪星人的年龄

Output

输出一个整数A，为换算相当于人类的年龄

Samples

1

18

2

23