function tools_load()
{
	var printEle = document.getElementById( 'printTool' );
	if( printEle )
	{
		printEle.style.visibility = 'visible';
		printEle.onclick = function() { window.print(); return false; };
	}
}

function tools_unload()
{
	var printEle = document.getElementById( 'printTool' );
	if( printEle )
		printEle.onclick = null;
}