Af dessa höra till hufvudmaskinen två oirkulationspumpar,