// JavaScript Document
function preload_images()
{
	var j=0;
	images = new Array();
	for (i=2; i<14; i+=2)
	{
		src_name = "images/navbar2/r2_c" + i + "_f2.gif";
		images[j] = new Image;
		images[j].src = src_name;
		j++;
	}
}

function change_bgcolor(divname, clr)
{
		document.getElementById(divname).style.background=clr;
}