function switchAttributes(new_id, old_id) {
	if (new_id == null) {
		new_id = 0;
	}
	if (old_id == null) {
		old_id = 3;
	}
	
	var spanId_old = 'attribute_'+old_id;
	Effect.Fade(spanId_old, { duration: 2.0 });
	var spanId_new = 'attribute_'+new_id;
	Effect.Appear(spanId_new, { duration: 2.0 });

	window.setTimeout('switchAttributes('+((new_id+1) % 4)+','+new_id+')', 2500);
}

function hideAttributes() {
	Element.hide($('attribute_0'));
	Element.hide($('attribute_1'));
	Element.hide($('attribute_2'));
	Element.hide($('attribute_3'));
}