function doZoom(size){
myTable.style.fontSize=size+'px';
}