[ ioi ] 6.