Original gasket  head seal.
 
Standard size is 8.5mm. As your machines ages a thicker gasket is needed,  older well used machines we require a 9.0mm seal