10000 = x - 0.15x