( 16 , 422;