infojs_opt の設定をいろいろイジってみる．