#include <stdio.h>
int main(void) {
char buf[100];
int y, z;
scanf("%3s%4d%7d", buf
, &y
, &z
); printf("%s %d %d", buf
, y
, z
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CiAgICBjaGFyIGJ1ZlsxMDBdOwogICAgaW50IHksIHo7CiAgICBzY2FuZigiJTNzJTRkJTdkIiwgYnVmLCAmeSwgJnopOwogICAgcHJpbnRmKCIlcyAlZCAlZCIsIGJ1ZiwgeSwgeik7CglyZXR1cm4gMDsKfQ==