#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char **argv) {
  int t;
  scanf("%d", &t);

  int printed = 0;
  for (int i=0; i<t; i++) {
    // Newlines
    if(printed) printf("\n");
    else printed = 1;

    char word[100];
    char src[95];
    char dst[95];

    scanf("%s %s %s", word, src, dst);
    int idx = 0;
    for (int i=0; i<strlen(src); i++) {
      for(int j=0; j<strlen(word); j++) {
        if (src[i] == word[j]) {
          for (int k=0; k<i; k);
        }
      }
    }
    

    // Print case number
    printf("Case #%d: ", i);
    // TODO: Print the translation
  }

  
  return 0;
}