( 6 , 423 .)