function setInputPageTitle()
{
	document.getElementById("pageTitle").value = document.getElementsByTagName("title")[0].text;
	return true;
}