/////////////////////////////No.57 ミリオンダイス
    //入力文字読み取り
    var inputall = require('fs').readFileSync('/dev/stdin', 'utf8').trim();

    //数値化
    var dice_number = Number(inputall);

    //サイコロ1個につき期待値が3.5なので
    console.log(dice_number * 3.5);

}