embedding javascript in html