let _ = stdin.ReadLine() printfn "Hello World!"