var d = window.document;
d.write('<div id="top_toolbar"></div>');
if(d.getElementById('tree_top'))
	d.getElementById('top_toolbar').innerHTML = d.getElementById('tree_bottom').innerHTML;