function high_row( rows, highlight, class ){	
	if( highlight == false ){
		for ( i = 0; i < rows.length; i++ ){
			var tmp_td = document.getElementById( rows[i] );
			tmp_td.className = class;
		}
	} else {
		for ( i = 0; i < rows.length; i++ ){
			var tmp_td = document.getElementById( rows[i] );
			tmp_td.className = class;
		}
	}
}