function Show (name)
{
	document.getElementById(name).style.display = "block";
}

function Hide (name)
{
	document.getElementById(name).style.display = "none";
}

function CharSearch (name)
{
	x = document.getElementById(name);
	y = document.images[name];
	
	oldsrc = y.src;
	oldsrc = oldsrc.match(/img\/.+\.gif/);
	oldsrc = "./"+oldsrc;
	
	if (x)
	{
		x.style.display = "block";
		y.src = './img/active.gif';
		setTimeout("y.src = oldsrc", 4000);
		setTimeout("x.style.display='none'", 4000);
	}
}