function changeFontSize(inc)
{  
	var p = document.getElementsByTagName('span');  
	for(n=0; n<p.length; n++) 
	{    
		if(p[n].style.fontSize) 
		{       
			var size = parseInt(p[n].style.fontSize.replace("px", ""));    
			if (isNaN(size))
				size=14;
			
		} else 
		{       
			var size = 14;    
		}
		p[n].style.fontSize = (size+inc) + 'px';   
	}
};