function LoadPrintHeader()
{
	/* +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~+
	   | Creates this:                                    |
	   | <img id="printHeader" src="printHeader.gif" />   |
	   | and sticks it at the top of the page,            |
	   | right before the header.                         |
	   |	                                              |
	   | print.css will only make it visible              |
	   | when the alternate print style sheet is enabled. |
	   |	                                              |
	   | Creating this element after the page has loaded  |
	   | will keep code that is strictly for looks        |
	   | out of our well-structured document.             |
	   +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~+ */

	var objImg = document.createElement("img");
	objImg.id = "printHeader";
	objImg.src = SetSrcFromRoot("printHeader.gif");
	
	// Find the header and insert this <img> before the header.
	var objHeader = document.getElementById("header");
	objHeader.parentNode.insertBefore(objImg, objHeader);
}