What happens when they eventually resume trading? Does it drop or raise automatically to the market price?