#include <stdio.h>
int main()
{
double b;
unsigned short a = 65535;
unsigned short k = a;
char c, d;
int f, g;
b = (1234.0 - 1) / 10;
scanf("%c", &c);
scanf(" %c", &d);
scanf(" %c", &f);
scanf(" %c", &g);
printf("%c,%c,%c,%c,%.7f,%d", c, d,f,g,b,k);
return 0;
}