( 42 , 667 .)