htmlencode the code