modify do_html_header, add a script param