These are the prices a public transport company uses for a touristic tour. If a person buys less than 5 tickets, they cost €5 a piece. Otherwise, they cost €4 a ticket.

Input

One line, stating the amount of tickets wanted.

Output

The total price (in euros).

Example

Input:

5

Output:

20