function hide()
{
	var hide_id = document.getElementById("pref").style


	hide_id.visibility = "hidden";
	hide_id.display = "none";

}

function show()
{
	var show_id = document.getElementById("pref").style

	show_id.visibility = "visible";
	show_id.display = "";

}