function doZoom(size){
	document.getElementById('zoom').style.fontSize=size+'px'
//	setTailPosition()
	return false;
}