祝日に先物を動かすのなら、現物の225型ETFも取引させれば良いのにな