HTML file that consumes javascript