// yukicoder: No.651 E869120 and Driving
// 2019.4.23 bal4u

#include <stdio.h>

int main()
{
	int a, tim;

	scanf("%d", &a);
	tim = 600 + (60*a)/100;
	printf("%02d:%02d\n", tim/60, tim%60);
	return 0;
}