#include <stdio.h>
int main(void) {
char name[1000];
double balance;
int res
= scanf(" [^:] %lf", name
, &balance
); printf("res = %d |%s| %f\n", res
, name
, balance
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIG5hbWVbMTAwMF07Cglkb3VibGUgYmFsYW5jZTsKCWludCByZXMgPSBzY2FuZigiIFteOl0gJWxmIiwgbmFtZSwgJmJhbGFuY2UpOwoJcHJpbnRmKCJyZXMgPSAlZCB8JXN8ICVmXG4iLCByZXMsIG5hbWUsIGJhbGFuY2UpOwoJcmV0dXJuIDA7Cn0K