function changeTitle(title){
	document.title=title;
}