function updateTitle(title) {
	var msg = document.getElementById('page_title');
	msg.innerHTML = title;
}