function doZoom(size){
	document.getElementById('zoom').style.fontSize=size+'px'
}

function showBox(o){
        if (o==undefined) o=document.getElementById("rbbox");
        o.style.height=o.clientHeight+3+"px";
        if (o.clientHeight<180) setTimeout(function(){showBox(o)},5);
}
function closeBox(o){
        if (o==undefined) o=document.getElementById("rbbox");
        if (o.clientHeight>0){
         o.style.height=o.clientHeight-3+"px";
         setTimeout(function(){closeBox(o)},5);
        }
        if(o.clientHeight<=0){
        	document.getElementById("rbbox").style.display="none";
        }
}