function $(t){return document.getElementById(t);}
function revY(a,t, l){
	for(i=0;$('ar'+i)!=undefined;i++){
		$('ar'+i).style['display']='none';
		$('cr'+i).style['textDecoration']='none';
		$('cr'+i).style['color']='';
		$('er'+i).style['background'] = 'transparent';
	}

	$(a).style['display']='block';
	t.style['textDecoration']='underline';
	$('er'+l).style['background'] = '#dedede';
}