printfn "%s" (System.Net.Dns.GetHostName())