( 13 , 423 ).