How to add javascript to a HTML file