Get the model number from the front of the washer (eg WD61) then enter that on this page:
http://www.hotpointservice.co.uk/hs/pages/manual/manualSearch.do
(i know it's too late for the original question, but it might help someone like me who googles to here)
Joan
July 2008