TeX source:

7 mm , 9 mm