How Wide Are Typical Hallways