example.html: include the correct js file