/**
 * @author Christoph
 */

function changeInfo(value){
	if (value != $('#info').text()) {
		$('#info').fadeOut("fast", function(){
			$('#info').text(value).fadeIn("fast");
		});
	}
}