( 13 , 754 .)