#include<stdio.h>
int main(){
    double val = 0;
    scanf("%lf", &val);
    printf("%lf", val * 3.5);
}