( 4251 , lt6)