/* <![CDATA[ */
  tool_height = 0;
  tool_done = 1;
  tool_timeoutid = 0;
  change_value = 20;
  tool_change = 0;
  tool_interval = 20;
  var tool_elem;
  function tool_init () {
	  tool_elem = document.getElementById ('ja-usertools');
  }
  function doopen() {
	tool_change = change_value;
	tool_timeoutid = setTimeout ("doanim()", 30);
  }
  function doclose() {
	tool_change = -change_value;
	tool_timeoutid = setTimeout ("doanim()", 30);
  }
  function doanim() {
	if (tool_timeoutid)
	{
		clearTimeout (tool_timeoutid);
	}
	tool_height += tool_change;
	tool_done = 0;
	if (tool_change > 0)
	{
		if (tool_height > tool_elem.scrollHeight) {
			tool_height = tool_elem.scrollHeight;
			tool_done = 1;
		}
	} else {
		if (tool_height < 0) {
			tool_height = 0;
			tool_done = 1;
		}
	}
	tool_elem.style.height = tool_height + "px";
	if (!tool_done)
	{
		tool_timeoutid = setTimeout ("doanim()", tool_interval);
		tool_done = 1;
	}
  }
	jaAddEvent (window, 'load', tool_init);
/* ]]> */