After tallying the actual one-time cost, everybody agreed -- and it’s a strong consensus -- that the PRC can just say Hong Kong has its own currency. There’s many countries with different time zones. It doesn’t really make Taiwan independent. Maybe we’ll get 15 minutes of CNN coverage and everybody forgets about it, and we have to pay recurring costs.