Set the title of the HTML document to that of the document opened.