<!--
var isBigText = false;

function changeSize(tag, smallsize, bigsize, lineheight) {
	var tags = document.getElementsByTagName(tag);
	
	for(i = 0; i < tags.length; i++)
	{
		if(parseInt(tags[i].style.fontSize.replace("px","")) == smallsize || tags[i].style.fontSize == "")
		{		
			tags[i].style.fontSize = bigsize + "px";
			isBigText = true;
		}
		else
		{
			tags[i].style.fontSize = smallsize + "px";
			isBigText = false;
		}
	}
}

function setText(small, big, textChangerID) {
	var elementA = document.getElementById(textChangerID);

	if(isBigText)
		elementA.innerHTML = big;
	else
		elementA.innerHTML = small;
}
-->