this is the index.html file installed by jsj.