printfn "1 0 0"