function setTitle(value)
		{
			//document.title = value;
		}