function hoverEffect(button, turnOn) {



		if (turnOn) {

			document.getElementById(button).style.borderLeft = "4px solid #3366cc";

			document.getElementById(button).style.paddingLeft = "3px";

		} else {

			document.getElementById(button).style.border = "0";

			document.getElementById(button).style.paddingLeft = "7px";

		}



}