using System;

namespace No57{
    public class Program{
        public static void Main(string[] args){
            Console.WriteLine(double.Parse(Console.ReadLine()) * 3.5);
        }
    }
}