IF 条件式 THEN GOTO ＠ラベル　は、GOTOもしくはTHENを省略可能です。