Estimate for repair of mint building at San Francisco, Cal.