( 13 , 745 .)