#include <algorithm>
#include <cmath>
#include <cstdio>
#include <cstring>
#include <deque>
#include <iostream>
#include <map>
#include <queue>
#include <set>
#include <stack>
#include <string>
#include <utility>
#include <vector>

#define p(s) cout<<(s)<<endl
#define REP(i,n,N) for(int i=n;i<N;i++)
#define RREP(i,n,N) for(int i=N-1;i>=n;i--)
#define CK(n,a,b) ((a)<=(n)&&(n)<(b))
#define F first
#define S second
typedef long long ll;
using namespace std;
const int inf=1e9+7;

int a,b;
double s;
int main(){
    scanf("%d %d UTC%lf",&a, &b, &s);
    int hour=s;
    int minute = (s-hour)*60;
    hour+=(b+minute)/60;
    printf("%02d:%02d\n", (a+hour-9+24)%24, (b+minute+60)%60);
    return 0;
}