def int_or_betaversion(strversion):
    """ Convert a int as a str to either an int of 9999
    >>> int_or_betaversion("12")
    12
    >>> int_or_betaversion("2b1")
    9999
    """
    try:
        return int(strversion)
    except ValueError:
        return 9999