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