function do_highlight(turn_on, turn_off1, turn_off2, image_name, image_file)
{
	document.getElementById(turn_on).className="qb-text-on";
	document.getElementById(turn_off1).className="qb-text-off";
	document.getElementById(turn_off2).className="qb-text-off";
	document[image_name].src = image_file;
}