input a html file