using System;
public class Test
{
public static void Main()
{
double d = 9999;
Console.WriteLine(d.ToString("F0"));
}
}
dXNpbmcgU3lzdGVtOwoKcHVibGljIGNsYXNzIFRlc3QKewoJcHVibGljIHN0YXRpYyB2b2lkIE1haW4oKQoJewoJCSAgICBkb3VibGUgZCA9IDk5OTk7CiAgICAgICAgICAgICAgICAgICAgQ29uc29sZS5Xcml0ZUxpbmUoZC5Ub1N0cmluZygiRjAiKSk7Cgl9Cn0=