function changeCase(case_id) {
	// a bit hacky but it works!
	new Effect.Opacity('contentHere', {duration: 0.5, from: 1.0, to: 0.0, afterFinish: function () { $('contentHere').innerHTML = $('case_c_'+case_id).innerHTML; new Effect.Opacity('contentHere', {duration: 0.5, from: 0.0, to: 1.0}); } });
}