( 16 , 423 .)