#include "bits/stdc++.h"

typedef long long ll;

using namespace std;
int main() {
	cin.tie(0);
   	ios::sync_with_stdio(false);
//  --------------------------------------

	char c[3];
	for(int i = 0; i < 3; i++) cin >> c[i];

	int ans;
	if (c[0] == '?')
	{
		if (c[1] == '2')
		{
			ans = 4;
		}else
		{
			ans = 1;
		}
		
		
	}
	else if (c[1] == '?')
	{
		ans = 14;
	}
	else if (c[2] == '?')
	{
		if (c[1] == '2')
		{
			ans = 4;
		}
		else
		{
			ans = 1;
		}
		
	}
	
	cout << ans << "\n";

}