function changeFontSize(inc)
{  
    inc = inc * 2;
    var p = document.getElementsByTagName('p');  

    for(n=0; n<p.length; n++) 
        {    
            if(p[n].style.fontSize) 
            {       
                var size = parseInt(p[n].style.fontSize.replace("px", ""));    
            } 
            else 
            {       
                var size = 13;    
            }    
            
            if (size+inc < 13)
             p[n].style.fontSize = "13px";
            else if (size+inc > 17)
                p[n].style.fontSize = "17px";
            else
                p[n].style.fontSize = size+inc + 'px';   
        }
}