// define menu attributes here
menuColor="#000000"
menuColorOn="#990000"
fontColorOn="#FFFFFF"
fontColorOff="#000000"
lineColor = "#333333"

separator="<img src=/nav-images/greyrule.gif height=1 width=1>"

var preloadFlag = false;
function preloadImages() {
	if (document.images) {
                red_02_over = newImage("/left-nav/red_02-over.gif");
                red_05_red_02_over = newImage("/left-nav/red_05-red_02_over.gif");
                red_05_red_03_over = newImage("/left-nav/red_05-red_03_over.gif");
                red_05_red_04_over = newImage("/left-nav/red_05-red_04_over.gif");

		preloadFlag = true;
	}
}