#include <stdio.h>
int main(void){
    int inouekikuko = 17;
    scanf( "%d", &inouekikuko );
    // 17 の形になるので x 進数の x は 7以下ではありえない
    // よって、14以下では成立できない
    if( inouekikuko <= 14 ){
        printf( "-1\n" );
    }else{
        printf( "%d\n", inouekikuko - 7 );
    }
}