function highlight(div,total){

	var str   = div.substring(div.indexOf('_')+1);

	var index = new Number(str);
	
	var navegador = navigator.appName 
	
	for(i=1;i<=total;i++){

		var id  = 'high_'+i;
		var elm = document.getElementById(id);

		if (i==index){
			if (navegador == "Microsoft Internet Explorer") {
				elm.setAttribute('className','highlight'); 
				continue;
			}
			else{
					elm.setAttribute('class','highlight'); 
					continue;
			}
			
		}
		if (navegador == "Microsoft Internet Explorer") 
			elm.setAttribute('className','gris');
		else
			elm.setAttribute('class','gris');

	}

	return;

}