#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;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIGNvbG9yU3RyWzEwMF07CglpbnQgciwgZywgYjsKCXdoaWxlKHNjYW5mKCIgJTk5W146XTogJWQgJWQgJWQiLCBjb2xvclN0ciwgJnIsICZnLCAmYikgPT0gNCkgewoJCXByaW50ZigiJXM6ICVkICVkICVkXG4iLCBjb2xvclN0ciwgciwgZywgYik7Cgl9CglyZXR1cm4gMDsKfQo=