#include <iostream>
using namespace std;
void read_to_character(char* buffer, char character) {
char c;
int i=0;
while((c = getchar()) != character) {
buffer[i++] = c;
}
}
int main() {
char buf[256];
int val1,val2;
read_to_character(buf, ';');
scanf("%d;%d",&val1,&val2);
printf("%s\n%d\n%d",buf,val1,val2);
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKdm9pZCByZWFkX3RvX2NoYXJhY3RlcihjaGFyKiBidWZmZXIsIGNoYXIgY2hhcmFjdGVyKSB7CgljaGFyIGM7CglpbnQgaT0wOwoJd2hpbGUoKGMgPSBnZXRjaGFyKCkpICE9IGNoYXJhY3RlcikgewoJCWJ1ZmZlcltpKytdID0gYzsKCX0KfQoKaW50IG1haW4oKSB7CgljaGFyIGJ1ZlsyNTZdOwoJaW50IHZhbDEsdmFsMjsKCXJlYWRfdG9fY2hhcmFjdGVyKGJ1ZiwgJzsnKTsKCXNjYW5mKCIlZDslZCIsJnZhbDEsJnZhbDIpOwoJcHJpbnRmKCIlc1xuJWRcbiVkIixidWYsdmFsMSx2YWwyKTsKCXJldHVybiAwOwp9