<!--
var hl_ids = new Array();
var hl_colors = new Array();

function hl(ids){
    // Восстанавливаем прошлые цвета.
    for (var i = 0; i < hl_ids.length; i++){
	document.getElementById(hl_ids[i]).style.backgroundColor=hl_colors[i];
    }
    hl_ids.length = 0;
    hl_colors.length = 0;
    
    // Включаем подсветку новых элементов.    
    var j = 0;
    for (var i = 0; i < ids.length; i++){
	var id = document.getElementById(ids[i]);
	if (id != null){
	    hl_ids[j] = ids[i];
	    hl_colors[j] = id.style.backgroundColor;
	    id.style.backgroundColor="#F9DAC6";
	    j++;
	}
    }
}

//-->