diameter under 13 mm.