The Washington public toilet