The restaurant to the Cotton Exchange, not now in use.