using System;
public class Program
{
public static void Main()
Console.WriteLine("{0:#,##0.0}", 1234.0);
}