HTML encoding example