fs = 14;
function changesize(add, ele){
    fs += add;
    if(fs >= 9 && fs <= 20){
        document.getElementById(ele).style.fontSize = fs + "px";
    }else{
        fs -= add;
    }
}





