some html encoding/decoding knowledge