想起个装修公司的名字:各位数学高手帮帮忙吧