3 ms·

I don't know. I suspect that a good percentage of the roofing was probably done by carpenters at that time.