replaces HTML5_Example.html