( N:r 1 , 713 .)