#include <stdio.h>
//#include <cstdio> //c++でstdioの関数を呼べるよ

int main()
{
    char str[80];
    int n;
    double d;
 	//%s : 文字列に置き換え
	//%d : 整数に置き換え
	//%lf : 小数点数（倍精度）に置き換え
    scanf("%s %d %lf", str, &n, &d);		
    printf("%s %05d %7.4lf\n", str, n, d);
 
    return 0;
}