simple HTML encoder