HTML with javascript included