using System;

class No57{
    static void Main(){
        Console.WriteLine(Double.Parse(Console.ReadLine())*3.5);
    }
}