Void setDocumentTitle(HTMLDocument doc, String newtitle)
Arguments
doc: The HTML documentnewtitle: The document title, which may not be blank (an Exception is thrown if it is)
Usage
Changes the document title, which is commonly used by browsers when bookmarking the page and in their user interface, and by search engines for indexing purposes. Ideally, all pages should have a unique title.