function nav2on(me) {
    nav2off();
    document.getElementById(me).src = eval(me+"_on.src");
}
function nav2off(me) {
  for ( i=1; i<=nav2count; i++ )
  {
    document.getElementById("nav2_"+i).src = eval("nav2_"+i+"_off.src");
  }
}