How tall was pope pius XII?

Can you answer this question?