ポンプをショートする時間だ