. . . "E. coli O157:H7, one of the EHEC" .