self.setTimeout('display_tree()', 150);
