Description

星星公司致力于信件快递业务，收费标准为：500克以内6元，超过500克9元。

Format

Input

输入一个快递的重量 $w$

Output

输出对应的价格 $p$

Samples

499

6

Limitation

1s, 1024KiB for each test case.