( 13 , 667 .)