def parse_WEBKIT(cls, agentString):
        """
        Attempt to parse the given User-Agent string as a WebKit-based
        browser's user-agent.
        """
        identifier = 'WebKit/'
        start = agentString.find(identifier)
        if start != -1:
            end = start + len(identifier)
            while (
                end < len(agentString) and
                agentString[end].isdigit() or
                agentString[end] == '.'):
                end += 1
            version = agentString[start + len(identifier):end]
            try:
                version = map(int, version.split('.'))
            except __HOLE__:
                pass
            else:
                return cls(browsers.WEBKIT, tuple(version))
dataset/ETHPy150Open twisted/nevow/nevow/useragent.py/UserAgent.parse_WEBKIT