main(){ double n; scanf("%lf",&n); printf("%12f",n*4); }