What day of the week was July 9, 1280?

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