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

void main()
  {
    FILE *fpin, *fpout;
    if((fpin = fopen("input.txt", "r")) == NULL) return;
    if((fpout = fopen("output.txt", "w")) == NULL) return;

    int i, dc, len, oc = 0;
    char in[100];
    char out[100];

      while(fgets(in, 100, fpin))
      {
        len = strlen(in);
        dc = oc = 0;
          for(i = 0; i < len; i++)
            {
               if(in[len - i - 1] == ':') dc++;
               if(dc > 4) break;
               out[oc] = in[len - i - 1];
               oc++;
            }
        out[oc] = 0;
        fputs(strrev(out), fpout);
        strcpy(out, "");
      }
    fclose(fpin);
    fclose(fpout);
  }