def get_line_col(index):
 (line, col) = map(int, index.split('.'))
 return (line, col)

def get_line_col ( index ) : ( line , col ) = map ( int , index . split ( '.' ) ) return ( line , col )
return tuple of ints from line .