#include <stdio.h>
 
int main()
 
{
 
    int h,m,s;
 
    scanf("%d:%d:%d", &h,&m,&s);
 
    s=s+20;
 
    if(s>59)
 
    {
 
        s=s%60;
 
        m++;
 
        if(m>59)
 
        {
 
            m=m%60;
 
            h++;
 
            if(h>23)
 
                h=0;
 
        }
 
    }
 
    printf("%02d:%02d:%02d\n", h, m, s);
 
    return 0;
 
}
 

我要的输出是15：31：01