Control of helminth contamination of raw vegetables by washing.