using System;
public class Program
{
public static void Main()
Console.WriteLine(String.Format("{0:0.0000}", 123.45f));
}