What day of the week was July 9, 1258?

The day of the week July 9th, 1258 fell on was a Tuesday.