/*
#include <stdio.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int k;
scanf("%d",&k);
printf("%d",k);
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int k,g;
scanf("%d %d",&k,&g);
printf("%d %d",k,g);
return 0;
}
*/
/*
#include <stdio.h>
int main()
{
int k,g;
scanf("%d:%d",&k,&g);
printf("%d:%d",k,g);
return 0;
}
*/
#include <stdio.h>
int main()
{
int k,g;
scanf("%d:%d",&k,&g);
printf("%d:%d",k,g);
return 0;
}