CF785A Anton and Polyhedrons

Description

Anton's favourite geometric figures are regular polyhedrons. Note that there are five kinds of regular polyhedrons: - Tetrahedron. Tetrahedron has $ 4 $ triangular faces. - Cube. Cube has $ 6 $ square faces. - Octahedron. Octahedron has $ 8 $ triangular faces. - Dodecahedron. Dodecahedron has $ 12 $ pentagonal faces. - Icosahedron. Icosahedron has $ 20 $ triangular faces. All five kinds of polyhedrons are shown on the picture below: ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF785A/19c5088ea45f2a6c0e1d14f3df7fa76121b5787c.png)Anton has a collection of $ n $ polyhedrons. One day he decided to know, how many faces his polyhedrons have in total. Help Anton and find this number!

Input Format

The first line of the input contains a single integer $ n $ $ (1

Output Format

Output one number — the total number of faces in all the polyhedrons in Anton's collection.

Explanation/Hint

In the first sample Anton has one icosahedron, one cube, one tetrahedron and one dodecahedron. Icosahedron has $ 20 $ faces, cube has $ 6 $ faces, tetrahedron has $ 4 $ faces and dodecahedron has $ 12 $ faces. In total, they have $ 20+6+4+12=42 $ faces.