using System;
using System.Linq;
using System.Collections.Generic;

public class yukicoder
{
    public static void Main()
    {
		decimal n = decimal.Parse(Console.ReadLine());
		
		Console.WriteLine(n * 35 / 10);
    }
}