var fontSize=100;var viewId="viewTable";function changeFontSize(b){if(b==0){fontSize=100}else{fontSize+=b}views=document.getElementsByName(viewId);for(var a=0;a<views.length;a++){views[a].style.fontSize=fontSize+"%"}};