function updateWindowTitle(newTitle)
{
	top.document.title = newTitle;
}