A dual-slope ADC has a fixed integration time of $100 \: \mathrm{ms}$. The reference voltage of the ADC is $-5 \: \mathrm{V}$. The time taken by the ADC to measure an input voltage of $1.25 \mathrm{V}$ is __________ $\mathrm{ms}$ (rounded off to the nearest integer).
