var backColor = Array();

function hilight(obj) {
	backColor[obj] = obj.style.borderColor;
	obj.style.borderColor = "#FF9999";
}

function unhilight(obj) {
	obj.style.borderColor = backColor[obj];
	backColor[obj]==null;
}

function setFocus(oid) {
	document.getElementById(oid).focus();
}