<?php

    $N = trim(fgets(STDIN));

    // 51 -> 44 + 7
    // 44 -> 37 + 7
    // 20 -> 13 + 7
    // 17 -> 10 + 7
    // 16 ->  9 + 7
    // 15 ->  8 + 7
    // 14 ->  7 + 7 -> 20
    // 13 ->  6 + 7 -> 21
    
    // 15以上なら　($N-7)進数
    // 15未満なら  不成立 -1
    
    if( 15 <= $N ){
        echo $N - 7;
    }else{
        echo "-1";
    }