HTML file linking to javascript