using System;

public class Program

{

    public static void Main()

    {

        Console.WriteLine(1234.56M.ToString("000000.0000"));

    }

}