#include <stdio.h>

int main(){
    double a;
    scanf("%lf", &a);
    printf("%lf", a*3.5);

    return 0;
}