#include<stdio.h>
int main(){
    double x;
    scanf("%f",&x);
    printf("%.15f\n",x*4);
}