The original San Francisco Mint.