trykkeblyant, 7mm. når man finner rette typen, så vet man det.