$RIF このゴミはショートしても構いません。どうやら上がらないようだ。