It sounds like timer fault which would write your machine off.
However, before giving up on it, replace the motor brushes. They can be cheaply bought off ebay or your local domestic appliance place. I would guess that 80% of wmc problems are worn brushes or hair clips jamming the outlet pump.
Vince
September 2010