老毛在北大当图书馆管理员的时候，应该也去过那里吧。