#include <iostream>

int main()
{
    int n;
    std::cin >> n;
    
    std::cout << (n * 3.5f) << std::endl;
    
    return 0;
}