Mk138 change hysteres

If i Want the hysteres to be aprox. 4’C,
What ohm on the R7 resistor schould i have?
Thanx/ Peter

Sorry, no values.
Hint: Get a 10M ohm trimmer.
Replace R7 with trimmer.
Adjust for desired hysteresis.
Remove trimmer and measure resistance.
Replace by fixed resistor of same value (or leave trimmer in place).