val i = (t0["level"] as Int).compareTo(
                        (t1["level"] as Int)
                    )