What happens to cost of original ETP shares when it became ET?