def mon_name(n):
if (n>=1) & (n<=12):
return ['jan','feb','mar','apr','may','jun','jul','aug','sep','okt','nov','dec'][n-1]
else:
return 'bad mon number!'
print(mon_name(9))
ZGVmIG1vbl9uYW1lKG4pOgogICAgaWYgKG4+PTEpICYgKG48PTEyKToKICAgICAgICByZXR1cm4gWydqYW4nLCdmZWInLCdtYXInLCdhcHInLCdtYXknLCdqdW4nLCdqdWwnLCdhdWcnLCdzZXAnLCdva3QnLCdub3YnLCdkZWMnXVtuLTFdCiAgICBlbHNlOgogICAgICAgIHJldHVybiAnYmFkIG1vbiBudW1iZXIhJwogICAgICAgIApwcmludChtb25fbmFtZSg5KSkgICAgICAgIA==