4+x+7