やっと$pepeが回転しました。もう終わったと思っていた12-13の位置で、ちょうど最高位置が17に届きました。