$PIPPIN はいつショートするのが適切ですか?