Description

设圆形的半径为$r$，其边长$d$为多少？

已知计算圆形的公式为 $d = 2 \times \pi \times r$
此处定义$\pi=3.14$

Format

Input

输入一个整形数字代表圆的半径$r$

Output

输出圆的周长$d$

$d$应该为一个实数

Samples

1

6.28

Limitation

1s, 1024KiB for each test case.