// JavaScript Document
var x = document.getElementsByName("tablink");
	x = document.getElementsByTagName("a");
var i=0;
	for(i=0;i<x.length;i++)
	{if ((x[i].href == document.URL || (x[i].href == (document.URL+"#top2"))) && x[i].parentNode.className == "roundbutton")
		{
			x[i].parentNode.className = "roundbuttonON";
		}
	}