#include <stdio.h>

int main(void) {
	int n,i;
	scanf("%d",&n);
	for(i = 8;i <= 93;i++){
		if(i+7 == n){printf("%d\n",i);return 0;}
	}
	printf("-1\n");
	return 0;
}