#include <bits/stdc++.h>
using namespace std;
int main()
{
int m_i;
float m_f;
double m_d;
char m_c;
char str[1010];
scanf("%d", &m_i);
scanf("%f", &m_f);
scanf("%lf", &m_d);
getchar();
scanf("%c", &m_c);
scanf("%s", &str);
cout << m_i << " " << m_f << " " << m_d
<< " " << m_c << " " << str << endl;
int hh, mm;
scanf("%d:%d", &hh, &mm);
cout << hh << ":" << mm << endl;
getchar();
char str2[1010];
gets(str2);
cout << str2 << endl;
double m_d2 = 1.234567;
printf("%.2lf\n", m_d2);
printf("%.5lf\n", m_d2);
int m_i2 = 123;
printf("%05d\n", m_i2);
return 0;
}