function updateRefs() {
	currentHtml=document.URL.substring(document.URL.lastIndexOf("/")+1).toLowerCase();
	currentTab=document.getElementById(currentHtml);
	currentTab.style.color="#D00";
	currentTab.href="#";
	document.getElementById("en").href="../en/"+currentHtml;
	document.getElementById("es").href="../es/"+currentHtml;
	document.getElementById("ca").href="../ca/"+currentHtml;
}