Copper is up again at $7100 a ton approaching $7200.