function selectTab(num)
{
	for (var i=1; i <= 4; i++)
	{
		document.getElementById("tab" + i).className = "";
		document.getElementById("box" + i).className = "infobox";
	}
	document.getElementById("tab" + num).className = "selected";
	document.getElementById("box" + num).className = "infobox enabled";
}