function ChangeFontSize(id, size) 
{
	document.getElementById(id).style.fontSize = size + "px";
	if(size == '9')
	{
	    document.getElementById('im1').src='/images/ontext.jpg';
	    document.getElementById('im2').src='/images/offtext.jpg';
	    document.getElementById('im3').src='/images/offtext.jpg';    
	}
	if(size == '11')
	{
	    document.getElementById('im1').src='/images/offtext.jpg';
	    document.getElementById('im2').src='/images/ontext.jpg';
	    document.getElementById('im3').src='/images/offtext.jpg';
	}
	if(size == '13')
	{
	    document.getElementById('im1').src='/images/offtext.jpg';
	    document.getElementById('im2').src='/images/offtext.jpg';
	    document.getElementById('im3').src='/images/ontext.jpg';
	}
}