function chgColor(curMenu,color) {
	if (!document.getElementById)
		return;
		idMenu=document.getElementById(curMenu);
		eval("idMenu.style.color='" + color + "'");
}

function program() {
	window.location.href="../Booklet/Program.pdf";
}