de^ 9 , N : ' 15723,