#163: add 'html_scipts.js'