( 19 , 423 .)