Code Editor : test_encode_for_html.py