function Main(input) {
    var n = +input;

    var tmp = n * 7 / 2;
    var ans = tmp;

    console.log(ans);
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));