The Johnson 01-42417 replacement end cover gasket is suitable for Johnson F4B-9 and F35B-9 engine cooling pumps: 10-31934-1 & 10-32388-1. This end cover gasket measures 63mm in diameter and has 6 fixing holes. The Johnson pump gasket will replace Jabsco 4788 gaskets.