What day of the week was October 17, 1158?

The day of the week October 17th, 1158 fell on was a Friday.