System.Console.ReadLine()
|> int 
|> fun n -> 
    n.ToString("#,0") 
    |> stdout.WriteLine