function loadImages()
{
	b1 = new Image();
	b1.src = "menu-home2.gif";
	b2 = new Image();
	b2.src = "menu-people2.gif";
	b3 = new Image();
	b3.src = "menu-projects2.gif";
	b4 = new Image();
	b4.src = "menu-papers2.gif";
	b5 = new Image();
	b5.src = "menu-internal2.gif";
}

if (document.images) {
	loadImages();
}


function changeMenu(name, x)
{
	document[name].src = "menu-" + name + x + ".gif";
}