doe library men's bathroom by the art history library