function close_hidden(arg) {
	var obj = document.getElementById(arg);
	obj.style.visibility = 'hidden';
}
function show_hidden(arg) {
	var obj = document.getElementById(arg);
	obj.style.visibility = 'visible';
}