What day of the week was July 17, 1257?

The day of the week July 17th, 1257 fell on was a Tuesday.