What day of the week was July 17, 1057?

The day of the week July 17th, 1057 fell on was a Friday.