#
include < stdio.h >

  int main() {
    int first, second, third, forth; //,output1, ;

    scanf("%d %d   %d %d", & first, & second, & third & forth);

    if (first > tird) { //case 2,4,5,6,8
      if (second < forth && first < forth) { // case 2
        printf("[%d,%d]", first, second)
      }
      if (first < forth && second > forth) { // case 4
        printf("[%d,%d]", first, forth)

      }

      if (forth < first && forth < second) { // case 8
        printf("[%d,%d]", )

      }

    }
    if (third > first) { //case 1,3,7
      if (second > third && forth > second) { //case 1
        printf("[%d,%d]", )

      }
      if (second > third && second > forth) { //case 3
        printf("[%d,%d]", )

      }
      if (second < third && second < forth) { //case 7
        printf("[%d,%d]", )

      }

    }

    printf("%02d:%02d:%02d\n", first, second, third);
    return 0;
  }