#include<stdio.h>

int main(void){
	
	char a1, a2, a3;
	
	scanf("%c%c%c%c%c", &a1, &a2, &a2, &a3, &a3);

	if(a2 == '?'){
		printf("14\n");
	}
	else if(a2 == '3'){
		printf("1\n");
	}
	else{
		printf("4\n");
	}

	return 0;
}