if(document.images) 
{
	pics = new Array();
	for (var x = 0; x < 11; x++)
	{
		pics[x] = new Image();
	}
	
	pics[0].src = "img/home_grey.gif";
	pics[1].src = "img/home_blue.gif";
	pics[2].src = "img/dev_grey.gif";
	pics[3].src = "img/dev_blue.gif";
	pics[4].src = "img/cont_grey.gif";
	pics[5].src = "img/cont_blue.gif";
	pics[6].src = "img/myact_grey.gif";
	pics[7].src = "img/myact_blue.gif";
	pics[8].src = "img/mngr_grey.gif";
	pics[9].src = "img/mngr_blue.gif";
}

function changeimg(from, to) 
{
	if(document.images)
	{
		document.images[from].src = pics[to].src;
	}
}