5+x+7