function adjustIEcolor() {
	if (document.all) // IE
	{
	  // Change the body element's style to the "body.ie"
	  // class selector defined in forestay.css
	  document.body.className="ie";
	}
}
function insertForIE(forIE, content) {
	if ((forIE && document.all) || !(forIE || document.all))
		document.write(content);
}