import java.util.*;
/*yukicoder No57 ミリオンダイス*/
class No57{
  public static void main(String[] args){
    Scanner scan = new Scanner(System.in);
    //サイコロを振る回数を入力
    double n = scan.nextInt();
    //期待値を計算
    double ans = 7*n/2;
    System.out.println(ans);
  }
}