fn main() {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).expect("read error");
    let a: isize = s.trim().parse().expect("paese error");

    println!("{}", if a <= 7 { -1 } else { a - 7 });
}