function hide(elemID){
 var elem = document.getElementById(elemID);
 elem.style.visibility = "hidden";

 }
function show(elemID){
 var elem = document.getElementById(elemID);
 elem.style.visibility = "visible";
 }

function highlight_on(elemID1,elemID2){
 var elem1 = document.getElementById(elemID1);
 var elem2 = document.getElementById(elemID2);
 elem1.style.color = "#709fcf";
 elem2.style.color = "#000000";
 }
function highlight_off(elemID1,elemID2){
 var elem1 = document.getElementById(elemID1);
 var elem2 = document.getElementById(elemID2);
 elem1.style.color = "#b8b8b8";
 elem2.style.color = "#b3b3b3";
 }