func main() var ans: bool :: f(cui@input()) & f(cui@input()) do cui@print(ans ?("OK\n", "NG\n")) func f(s: []char): bool for i(0, 12345) if(i.toStr() = s) ret true end if end for ret false end func end func