import strutils

let n = parseInt stdin.readLine

echo:
  if n < 15: -1
  else: n.pred 7