// ROLL-OVER
function roll(sect, obj, state) {
  if (state == 0) { document.images[obj].src = "images/nav_" + obj + "0.gif" };
  if (state == 1) { document.images[obj].src = "images/nav_" + obj + "1.gif" };
}