6+x+7