// define menu attributes here
menuColor="#000000"
menuColorOn="#66CC00"
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) {
                green_02_over = newImage("/left-nav/green_02-over.gif");
                green_05_green_02_over = newImage("/left-nav/green_05-green_02_over.gif");
                green_05_green_03_over = newImage("/left-nav/green_05-green_03_over.gif");
                green_05_green_04_over = newImage("/left-nav/green_05-green_04_over.gif");

		preloadFlag = true;
	}
}