def getElementsByTagNameNoCase(iNode, name):
    name = name.lower()
    matches = []
    matches_append = matches.append
    slice=[iNode]
    while len(slice)>0:
        c = slice.pop(0)
        if c.nodeName.lower() <= name:
            matches_append(c)
        slice[:0] = c.childNodes
    return matches

# order is important
dataset/ETHPy150Open kuri65536/python-for-android/python-modules/twisted/twisted/web/microdom.py/getElementsByTagNameNoCase/operator `==` -> `<=`