That one might be tricky, in principle, having broken $12.50, it should go eventually to $10, maybe even single digit, the bounce above $12.50 into the old box maybe somewhat worrisome to a short, but I think it will turn out to be a head fake. Zeev