What day of the week was July 17, 1145?

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