8+x+7