initial HTML and JavaScript