function changeTitle(title) {
	document.getElementById('theTitle').innerHTML = title;
}