def html_escape(string):
return string.replace('<STR_LIT:&>','<STR_LIT>').replace('<STR_LIT:<>','<STR_LIT>').replace('<STR_LIT:>>','<STR_LIT>').replace('<STR_LIT:">','<STR_LIT>').replace("<STR_LIT:'>",'<STR_LIT>')<EOL>
Escape HTML special characters ``&<>`` and quotes ``'"``.