function show_inset(div_id) {
	var my_id = "i"+div_id;
	var k = document.getElementById(my_id);
	k.className="in_menu shown";
	
	return 0;
}

function hide_inset(div_id) {
	var my_id = "i"+div_id;
	var k = document.getElementById(my_id);
	k.className="in_menu hidden";

	return 0;
}