function bgHover(menu)
{
	document.getElementById(menu).style.backgroundColor="#3077BA";
	//document.getElementById(menu).style.background= "url(images/MenuButtonPressed.jpg)";
}

function bgOut(menu)
{
	document.getElementById(menu).style.backgroundColor='#5199DC';
	//document.getElementById(menu).style.background="url(images/MenuButton.jpg)";
}


function enlargeShrinkPicture(pictureId) {
	if (document.getElementById(pictureId).width==400) {
		document.getElementById(pictureId).width=200;
	} else {
		document.getElementById(pictureId).width=400;
	}
}