<!--
function ContentSize(size)
{
	var obj = document.getElementById("BodyText");
	obj.style.fontSize = size + "px";
}
// -->