function changePageTitle(title)
{
	window.title = title;
}