import std.stdio : writeln, writefln, readln;

void main() {
    import std.stdio : scanf;
    
    int h, m;
    scanf("%d:%d", &h, &m);
    solve(h, m);
}

void solve(int h, int m) {
    int t = (h*60 + m + 5) % (24*60);
    writefln("%02d:%02d", t / 60, t % 60);
}


void scan(T...)(ref T args) {
    import std.stdio : readln;
    import std.array : split;
    import std.conv  : to;
    import std.range.primitives;

    string[] line = readln.split;
    foreach (ref arg; args) {
        arg = line.front.to!(typeof(arg));
        line.popFront();
    }
    assert(line.empty);
}



void fillAll(R, T)(ref R arr, T value) {
    static if (is(typeof(arr[] = value))) {
        arr[] = value;
    }
    else {
        foreach (ref e; arr) {
            fillAll(e, value);
        }
    }
}