#include <bits/stdc++.h>
using namespace std;

int main() {
    double X; cin >> X;
    printf("%.12lf", X * (double)4);
}