// define menu attributes here
menuColor="#000000"
menuColorOn="#663399"
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) {
                purple_02_over = newImage("/left-nav/purple_02-over.gif");
                purple_05_purple_02_over = newImage("/left-nav/purple_05-purple_02_over.gif");
                purple_05_purple_03_over = newImage("/left-nav/purple_05-purple_03_over.gif");
                purple_05_purple_04_over = newImage("/left-nav/purple_05-purple_04_over.gif");

		preloadFlag = true;
	}
}