function setvisib (lyr, mode1, lyr2, mode2, lyr3, mode3, lyr4, mode4, lyr5, mode5, lyr6, mode6) {
   document.getElementById(lyr).style.visibility = mode1;
   document.getElementById(lyr2).style.visibility = mode2;
   document.getElementById(lyr3).style.visibility = mode3;
   document.getElementById(lyr4).style.visibility = mode4;
   document.getElementById(lyr5).style.visibility = mode5;
   document.getElementById(lyr6).style.visibility = mode6;
}

function hilightback (thingy, colores, colour) {
   document.getElementById(thingy).style.backgroundColor = colores;
   document.getElementById(thingy).style.color = colour;
}