( 13 , 423 .)