It was the old mint. Now it's just the offices, not the residence of the president.