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