// this file contains scripts that are used throughout
// various sections of the site

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