( 5 , 423 .)