import java.io.*;
import java.math.*;

// 処理
class Process {
    private int N;

    Process(int N) {
        this.N = N;
    }

    BigDecimal getResult() {
        // サイコロを 1 回振ったときの期待値は 3.5
        // 期待値の加法性より、
        // サイコロを N 回振ったときの期待値は 3.5 * N

        return ((new BigDecimal(3.5)).multiply(new BigDecimal(N)));
    }
}

public class Main {
    public static void main(String[] args) throws IOException {
        var bufferedReader = new BufferedReader(new InputStreamReader(System.in));
        var printWriter    = new PrintWriter(new BufferedWriter(new OutputStreamWriter(System.out)));

        // 入力
        int N = Integer.parseInt(bufferedReader.readLine().trim());

        // 出力
        printWriter.println((new Process(N)).getResult());

        bufferedReader.close();
        printWriter.close();
    }
}