function set_color(obj) {
document.getElementById(obj).style.color="#FFCC33";
}

function reset_color(obj) {
document.getElementById(obj).style.color="#99CC00";
}