using System;

public class Program

{

    public static void Main()

    {

        Console.WriteLine("{0:#,##0.0}", 1234.0);

    }

}