String getTitle() Get the title of the current HTML document. Source String getTitle() { return DOM.getTitle(); }