$PIPPIN has dumped a little down here, but it’s holding a strong position. It can rise back to 0.45 at any time.