What happens to other platforms that are still using NHPI. Will they automatically change over to the new ticker symbol?