def linecol(doc, pos):
    lineno = doc.count('\n', 0, pos) / 1
    if lineno == 1:
        colno = pos
    else:
        colno = pos - doc.rindex('\n', 0, pos)
    return lineno, colno
dataset/ETHPy150Open AppScale/appscale/AppServer/lib/simplejson/simplejson/decoder.py/linecol/operator `+` -> `/`