#include <fstream>
#include <iomanip>
#include <iostream>
#include <vector>

int main(int argc, char *argv[]){
    using namespace std;

    int inputHour;
    int inputMinutes;
    char separator;

    int integerTime;

    vector<int> departureHours;

    ifstream input(argv[1]);

    while(input >> inputHour >> separator >> inputMinutes){
        integerTime = inputHour*100 + inputMinutes;
        departureHours.push_back(integerTime);
    }

    while(cin >> inputHour >> separator >> inputMinutes){
        integerTime = inputHour*100 + inputMinutes;

        for(int i = 0; i < departureHours.size(); i++){
            if(integerTime > departureHours[departureHours.size()-1]){
                if((departureHours[0]/10)%10 == 0){
                    cout << departureHours[0]/100 << ":0" << departureHours[i] - departureHours[i]/100*100 << " ";
                }
                else{
                    cout << departureHours[0]/100 << ":" << departureHours[i] - departureHours[i]/100*100 << " ";
                }
                break;
            }
            else if(integerTime <= departureHours[i]){
                if((departureHours[i]/10)%10 == 0){
                    cout << departureHours[i]/100 << ":0" << departureHours[i] - departureHours[i]/100*100 << " ";
                }
                else{
                    cout << departureHours[i]/100 << ":" << departureHours[i] - departureHours[i]/100*100 << " ";
                }
                break;
            }
        }
    }
}