function setCurrentBut() {
	var allPageTags2 = document.getElementById("buttons_div");

	if (allPageTags2)
	{
		var allPageTags2=allPageTags2.getElementsByTagName("li");
		var limit2 = allPageTags2.length;

		for (i2=0; i2<limit; i2++) {
		//Pick out the tags with our class name
		if (allPageTags2[i2].className=="but2") {
			//Manipulate this in whatever way you want
			var insideHref = allPageTags2[i2].getElementsByTagName("a");
			if (location.href == insideHref[0])
			{
			allPageTags2[i2].style.backgroundColor='#019ba3';
				
				var k_limit = insideHref.length;

				for (k=0; k<k_limit; k++) // Multiple Links in button
				{
					insideHref[k].style.color = 'white';
				}
			}
		}
		}
	}
}

function overBut2() {
	this.style.backgroundColor='#019ba3';
	var links = this.getElementsByTagName("a");
	link_limit = links.length;
	for (j=0;j<link_limit;j++) {
		links[j].style.color = 'white';
	}
}

function outBut2() {
	this.style.backgroundColor='#74ced2';
	var links = this.getElementsByTagName("a");
	link_limit = links.length;
	for (j=0;j<link_limit;j++) {
		links[j].style.color = '#0d606b';
	}
setCurrentBut();
}


// Same functions, for purple buttons:
function overBut1() {
	this.style.backgroundColor='#6963a2';
	var links = this.getElementsByTagName("a");
	link_limit = links.length;
	for (j=0;j<link_limit;j++) {
		links[j].style.color = 'white';
	}
}

function outBut1() {
	this.style.backgroundColor='#4f488d';
	var links = this.getElementsByTagName("a");
	link_limit = links.length;
	for (j=0;j<link_limit;j++) {
		links[j].style.color = 'white';
	}

}



var allPageTags=document.getElementById("buttons_div");

if (allPageTags)
{
	var allPageTags=allPageTags.getElementsByTagName("li");
	var limit = allPageTags.length;

	for (i=0; i<limit; i++) {

		//Pick out the tags with our class name
		if (allPageTags[i].className=="but2") {
			//Manipulate this in whatever way you want
			allPageTags[i].onmouseover=overBut2;
			allPageTags[i].onmouseout=outBut2;
		}
		
		if (allPageTags[i].className=="but3") {
			//Manipulate this in whatever way you want
			allPageTags[i].onmouseover=overBut1;
			allPageTags[i].onmouseout=outBut1;
		}
	}
}