It got as low as 17.66 this morning. Not in the single digits like in June but notable. We’ll see if there’s anything behind today’s move. It closed at 26.07.