Up or down, it would not matter at this time, because stock will be trading at NYSE under a new ticker DEN.