/////////////////////////////////No.395 永遠の17歳
    //入力文字読み取り
    var inputall = require('fs').readFileSync('/dev/stdin', 'utf8').trim();

    //数値化
    var input_int = Number(inputall);

    //8進数より数字の小さい進数は2進数以外ないので
    //○進数で○は10になるので17を表示するのは入力数値-7する
    if (input_int< 15) {
        console.log(-1)
    } else {
        console.log(input_int-7)
    }