function display_dict(target)
{
	target.getElementsByTagName("span")[0].style.display = "inline";
	return;
}

function hidden_dict(target)
{
	target.getElementsByTagName("span")[0].style.display = "none";
	return;
}