一次演出,原来门票价15元,现在降到10元,观众增加一倍,总收入增加4000元,原来有多少观众?