function expandAll(){
	tree.expandAll();
	tree.draw(1);
}
function collapseAll(){
	tree.collapseAll();
	tree.draw(1);
}
function staticBack(val){
	if (val) tree.resize_back(tree.format.width,tree.format.height);
	else tree.resize_back(0,0);
	tree.format.dont_resize_back=val;
	tree.draw(1);
}
function turnAnimation(val){
	tree.format.animation=val;
	tree.draw(!val);
}
function turnOneBranch(val){
	tree.format.one_branch=val;
	if (val) 
		collapseAll();
	else
		expandAll();
}