eleven, eight, three, thirteen, twelve, zero, seven, four, sixteen, fourteen, two, nine, ten, one, five, fifteen. Is "thirteen" in the previous list? 
Provide no explanation, directly answer with only "Yes." or "No."