// JavaScript Document
function setCurrentLink(myId){
	//set link colour
	document.getElementById("link1").className = "normal";
	document.getElementById("link2").className = "normal";
	document.getElementById("link3").className = "normal";
	document.getElementById("link1").className = "normal";
	document.getElementById("link2").className = "normal";
	document.getElementById("link3").className = "normal";
	document.getElementById("link1").className = "normal";
	document.getElementById("link2").className = "normal";
	document.getElementById("link3").className = "normal";
	document.getElementById(myId).className = "current";
	//set col height
	//divLen = document.getElementById("mainContent").offsetHeight;
	//document.getElementById("sidebar1").style.height = divLen+"px";
}