Washing Machine WHIRLPOOL     WWDC9400 Pressure Switch