9 , # o millimeter ( 3 , 23 dec.