I bought Trump at 13.39