#include<iostream>
#include<stdio.h>

using namespace std;

int main(){
    int n;
    cin>> n;

    double ans = n*3.5;

    printf("%.4f\n", ans);
    return 0;
}