( 15 , 423 .)