function setDocumentTitle( titleValue ) {
	document.title = titleValue;
}