#include<bits/stdc++.h>
using namespace std;
#define NUM 10000
int num[NUM];
int main(){
    int N; cin >> N;
    cout <<fixed << N * 3.5 << endl;
    return 0;
}