( 15 , 844 .)