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); } }