function ReverseColor(num) {
	for(i=1;i<3;i++) {
		LineObject = document.all("id"+i+"_"+num);
		OriginalColor = LineObject.style.color;
		OriginalBgColor = LineObject.style.backgroundColor;
//		LineObject.style.color = "#000000";
		LineObject.style.backgroundColor = "#fefeb8";
	}
}