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

#ifndef TRUE
#define TRUE (0==0)
#define FALSE (!TRUE)
#endif


int main(int argc, char **argv) {
  FILE *in;

  int c, i, l;
  char *s, *line;
  char sline[257]; sline[256] = '\0';

  if (argc == 2) {
    in = fopen(argv[1], "rb");
  } else {
    fprintf(stderr, "syntax: double file.lst > double.lst\n");
    exit(1);
  }

  for (;;) {
    line = fgets(sline, 256, in);
    if (line == NULL) break;
    s = strchr(line, '\n'); if (s != NULL) *s = '\0';
    line[5] = '\0'; line[11] = '\0';
    if (strcmp(line, line+6) != 0) puts(line+12);
  }

  exit(0);
}