I mean, did they buy at 99k and sold at 92k or what?