What day of the week was July 15, 1017?

The day of the week July 15th, 1017 fell on was a Tuesday.