Try finding the service manual as that should call it out.
Also Sears online sometimes has exploded parts diagrams (sorry if I don't do the work here for you.)

Finally as I'm in the USA I can always ask the folk at shopjimmy.com