import strutils

const
  x = 6
let
  n = parseInt readLine stdin
var
  y = n
  cnt = 0

while y > 0:
  inc cnt
  
  if (cnt mod 7) == 0:
    y.inc x
  
  dec y

echo cnt