( 13 , 402 .)