using System;

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