( , ri0125 ]_