if (document.images) {
	var menuButtons_a = new Image();	menuButtons_a.src = "/images/btn_tmpl.gif";
	var menuButtons_b = new Image(); 	menuButtons_b.src = "/images/btn_tmpl.gif";
	var menuButtons_c = new Image(); 	menuButtons_c.src = "/images/btn_tmpl.gif";
	var menuButtons_d = new Image();	menuButtons_d.src = "/images/btn_tmpl.gif";
	var menuButtons_e = new Image(); 	menuButtons_e.src = "/images/btn_tmpl.gif";
	var menuButtons_f = new Image(); 	menuButtons_f.src = "/images/btn_tmpl.gif";
	
	var titlea = new Image();			titlea.src = "/images/btn_tmpl.gif";
	var titleb = new Image(); 			titleb.src = "/images/btn_tmpl.gif";
	var titlec = new Image(); 			titlec.src = "/images/btn_tmpl.gif";
	var titled = new Image();			titled.src = "/images/btn_tmpl.gif";
	var titlee = new Image(); 			titlee.src = "/images/btn_tmpl.gif";
	var titlef = new Image(); 			titlef.src = "/images/btn_tmpl.gif";

	/*var fade = new Image();			
	fade.src = "/images/btn_over.gif";
	var defade = new Image();			
	defade.src = "/images/btn_off.gif";*/
	
	var fade = new Array();
	var defade = new Array();
	
	for (var i=0; i<6; i++){
		// NOTE: IE7 doesn't do animated gifs like we'd want.  By preloading them, 
		// it doesn't start them at the first frame; it only shows the last frame.
		// Therefore, no preloading is done.
	
//		fade[i] = new Image();
//		fade[i].src = "/images/btn_over_"+i+".gif";
		fade[i] = "/images/btn_over_"+i+".gif";
		
//		defade[i] = new Image();
//		defade[i].src = "/images/btn_off_"+i+".gif";
		defade[i] = "/images/btn_off_"+i+".gif";
	}
	
}

function act(image, target){
	if (document.images){
		// eval is required, because target is a string like "fade[0]"
		document[image].src = eval(target); 
//		document[image].src = eval(target + '.src'); 
	}
}

function flip(old_one, new_one, val) {
	// what the hell does this do???
	if (document.images){
//		document.getElementById(new_one).style.zIndex = 100;		
	}
}