Month Name by dplusplus

import time
input()
while 1:m=input();print m,time.strftime('%B',[m]*8+[1])

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return top