javascript:function zu(p){
	o=window.document.body;
	zr=o.style.zoom;
	if(!zr){zr=1.0;};
	zr=parseFloat(zr);
	if(p=='up'){
		zr+=0.25;
		if(zr>4){zr=1;};
	}else if(p=='dn'){
		zr-=0.25;
		if(0.25>zr){zr=1;};
	}
	o.style.zoom=zr;
}
zu('up');