#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

int rev(int x){
    vector<int> v;
    for(int i=0;i<2;i++){
        int d=x%10;
        x/=10;
        if(d!=0&&d!=1&&d!=2&&d!=5&&d!=8){
            return -1;
        }
        if(d==2||d==5) d^=2^5;
        v.push_back(d);
    }
    return v[0]*10+v[1];
}

int main(){
    ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
    int T;
    cin >> T;
    while(T--){
        int h,m,x,y;
        string s;
        cin >> h >> m >> s;
        x=(s[0]-'0')*10+(s[1]-'0');
        y=(s[3]-'0')*10+(s[4]-'0');
        while(true){
            int a=rev(y),b=rev(x);
            if(a!=-1&&b!=-1&&a<h&&b<m){
                cout << (x/10==0?'0'+to_string(x):to_string(x)) << ":" << (y/10==0?'0'+to_string(y):to_string(y)) << '\n';
                break;
            }
            y++;
            if(y==m){
                y=0;
                x++;
                if(x==h) x=0;
            }
        }
    }
}
