( 13 , 423 ),