if (parent.document != undefined)
	parent.document.title = document.title;
