function switch_vis(vis_node, vis_packed_class, vis_unpacked_class, button_node, button_packed_class, button_unpacked_class){
	var vis=document.getElementById(vis_node);
	var btn=document.getElementById(button_node);
	if(vis.className==vis_packed_class){
		vis.className=vis_unpacked_class;
		btn.className=button_unpacked_class;
	}
	else{
		vis.className=vis_packed_class;
		btn.className=button_packed_class;
	}
}