function change_header() {
// basically, this descides which header image to put up
// at the top of the screen. It also, changes the href
// of the link.
//
// If the browser supports changing the alt attribute
// of images, it does that too.
	
	var pic  = "welcomeHeader.gif";
	var alt  = "click here for scheduled live instruction";
	var link = "/liveInstruction/default.asp";
	curSection = document.URL + "";

	firstSlash  = curSection.indexOf("/", 7);
	secondSlash = curSection.indexOf("/", firstSlash + 1);

	curSection = curSection.substring(firstSlash, secondSlash);

	
	if (curSection == "/handsOn")			{ pic = "handsOnHeader.gif";	alt = "Hands-On Learning";			link = "/handsOn/default.asp"			}
	if (curSection == "/resourceCenter")	{ pic = "resourceHeader.gif";	alt = "Resource Center";			link = "/resourceCenter/default.asp"	}
	if (curSection == "/discussion")		{ pic = "discussionHeader.gif";	alt = "Discussion";					link = "/discussion/default.asp"		}
	if (curSection == "/instructor")		{ pic = "instructorHeader.gif";	alt = "Instructor";					link = "/instructor/default.asp"		}
	if (curSection == "/courses")			{ pic = "selfPacedHeader.gif";	alt = "Self Paced Learning";		link = "/courses/default.asp"			}
	if (curSection == "/faq")				{ pic = "faqHeader.gif";		alt = "Frequently Asked Questions";	link = "/faq/default.asp"				}
	if (curSection == "/liveInstruction")	{ pic = "liveHeader.gif";		alt = "Ascolta LIVE! Learning";		link = "/liveInstruction/default.asp"	}
	if (curSection == "/ciscoPEC")			{ pic = "pecHeader.gif";		alt = "Ascolta Training Company";	link = "/ciscoPEC/default.asp"			}

	var hi = top.topright.document.headerImage;
	pic = "/Images/" + pic;

	//alert("document.url: " + document.URL + "\nfirstslash: " + firstSlash + "\nsecondSlash: " + secondSlash + "\ncurSection: " + curSection + "\npic: " + pic + "\nhi.src: " + hi.src + "\nheaderLink: " + top.topright.document.links[0].href + "\n:link: " + link);

	if (hi.src.indexOf(pic) == -1)
	{
		hi.src = pic;
		top.topright.document.links[0].href = link;
		if (hi.alt) hi.alt = alt;
	}
}