题目描述

$\red{ZPS}$经过长期的努力争取，终于成为了$\red{0901}$班的领操员，他要带领$\red{0901}$班参加广播操比赛。

现在$\red{0901}$班的队伍可以看作是一个$\red{n\times n}$的点阵，每个人都站在格点上。

现在作为领操员的$\red{ZPS}$站$\red{(0,0)}$点，他想知道如果$\red{0901}$班的队伍站齐了，他能看到多少个人的脸（假设每个人的身高相同，体积相同）。

输入格式

一个正整数$\red{n}$。

输出格式

$\red{ZPS}$能看到多少个人的脸（当然他是看不到自己的脸的）。

样例

输入样例

3

输出样例

5

提示

$\red{40\%}$的数据，$\red{n<=1500}$。

$\red{100\%}$的数据，$\red{n<=100000}$。