#include <stdio.h>

int main(void) {
	char colorStr[100];
	int r, g, b;
	while(scanf(" %99[^:]: %d %d %d", colorStr, &r, &g, &b) == 4) {
		printf("%s: %d %d %d\n", colorStr, r, g, b);
	}
	return 0;
}