#include<stdio.h>

int main(void){
  char a[3];
  int i;

  scanf("%c %c %c", &a[0], &a[1], &a[2]);

  printf("%c%c%c",a[0],  a[1], a[2]);

  if(a[1] == '?' ){
    printf("14");
  }else if(a[0] == '?'){
    if(a[1] == '2')printf("4");
    else if(a[1] == '3') printf("1");
  }else if(a[2] == '?'){
    if(a[1] == '2')printf("4");
    else if(a[1] == '3')printf("1");
  }
  
  return 0;
}