def inttomonth(inmonth):
    """
    Turn integer month into string month.
    Necessary for webfetch.
    """
    if inmonth > 12:
        inmonth = 12
    if inmonth < 1:
        inmonth = 1
    strmonth = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug',
        'Sep', 'Oct', 'Nov', 'Dec']
    return strmonth[inmonth - 1]
