add some code in run_prettify.js, escape html code