main(r){while(~scanf("%d",&r))printf("%.3f\n",6.28318*abs(r));}