>>135
if ((strcmp(txt, "12 34") == 0)
  printf("12 34\n");