[<Literal>]
let ans = 500
stdout.WriteLine ans