What day of the week was October 9, 1158?

The day of the week October 9th, 1158 fell on was a Thursday.