TeX source:
16000\,=\,452\cdot~x