import strutils

let
  n = parseInt readLine stdin

echo n / 2 * 7