( 13 , 665 .)