function initializeTitle()
{
	h1 = document.getElementsByTagName("h1");
	if (h1[1].innerHTML != "Welcome to ResNET!")
		document.title = h1[1].innerHTML + " : ResNET";
}