function doZoom(inout){
 nowsize = document.getElementById('infobody').style.fontSize.substr(0,document.getElementById('infobody').style.fontSize.length-2);
 if (inout>0) {
  newsize=nowsize*1.1;
 }
 else if (inout==0) {
 	newsize=10.5;
 }
 else{
 	newsize=nowsize/1.1;
 }
 document.getElementById('infobody').style.fontSize=newsize+'pt';
}