t;main(){t=atoi(gets(&t))*0.6;printf("%d:%02d",10+t/60,t%60);}