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

class AOJ {
    static void Main() {
        int n = int.Parse(Console.ReadLine());
        Console.WriteLine(n * 3.5);
    }
}