2 added 7 characters in body
source | link

Python - 8383 76

importfrom datetime as dimport*
i=int(inputi=input())
if 0<i<8:print d.date(2013,7,i).strftime("%A")

July 2013 was the first month I found that had monday as its first day. Rest of this is quite self explanatory.

Python - 83

import datetime as d
i=int(input())
if 0<i<8:print d.date(2013,7,i).strftime("%A")

July 2013 was the first month I found that had monday as its first day. Rest of this is quite self explanatory.

Python - 83 76

from datetime import*
i=input()
if 0<i<8:print date(2013,7,i).strftime("%A")

July 2013 was the first month I found that had monday as its first day. Rest of this is quite self explanatory.

1
source | link

Python - 83

import datetime as d
i=int(input())
if 0<i<8:print d.date(2013,7,i).strftime("%A")

July 2013 was the first month I found that had monday as its first day. Rest of this is quite self explanatory.