void setTitle(String newTitle)

Set the title of the current HTML document.

Source 

void setTitle(String newTitle) {
  DOM.setTitle(newTitle);
}