using System; public class Program { static void Main() { Console.WriteLine(Convert.ToInt32(Console.ReadLine()) * 3.5); } }