function toggle_details(id)
{
	$('#details_' + id).toggle();
	$('#toggle_details_' + id).toggle();
}

function hide_all_details()
{
	$('.details').each(function() {
		$(this).hide();
	})
}