あ、なるほど、前者を知らなかったです。後者でやろうとして面倒で一旦省略しました。