Code Editor : pushSAXhtml.py