function turnOn(currentLink) {
	currentLink.style.color = "#000000"/*, currentLink.style.fontSize = "9pt"*/;
}

function turnOff(currentLink) {
	currentLink.style.color = "#CCCCCC"/*, currentLink.style.fontSize = "8pt"*/;
}