var c = document.getElementById("a_Body"); 
function resizeText(multiplier) {
	if (c.style.fontSize == "") {
		c.style.fontSize = "1.0em"; 
	} 
	c.style.fontSize = parseFloat(c.style.fontSize) + (multiplier * 0.2) + "em"; 
}


function changeFont(element,step)
{
	document.getElementById(element).style.fontSize = (parseInt(document.getElementById(element).style.fontSize,10)+parseInt(step,10)) + 'px';
}