#include <stdio.h>

int main(void) {
	int a;
	int hours,minutes;
	scanf("%d",&a);
	hours = a / 100;
	minutes = (((a % 100) /10) *6);
	printf("%02d%c%02d",10 + hours,':',minutes);
}