( 20 , 423 .)