This is an ordinary HTML file.