( 7 , 424 .)