function changeBrowserTitle( t ) {
	document.title = t;
}