main()
{
printf("%08.4f\n", 1.111);
printf("%010d\n", 1977);
}