#include <iostream>
using namespace std;
int main(void){
    int n;
    cin>>n;

 cout << 3.5*n <<endl;   
}