function shn_showtool(B)
{
	var A=document.getElementById(B);
	A.style.display="block"
}

function shn_hidetool(B)
{
	var A=document.getElementById(B);
	A.style.display="none"
}