// This file is identical to /js/menu_tabs.js.  It should be obsoleted when
// everything else points there instead.
var preloadFlag = false;
function preloadImages() {
  if (document.images) {
    preloadImagesCmp0059ABD281();
    preloadFlag = true;
  }
}
function preloadImagesCmp0059ABD281() {
  if (document.images) {
    over_index_03 = newImage('../inside/on/images/index_03.jpg');
    down_index_03 = newImage('../inside/off/images/index_03.jpg');
    over_index_04 = newImage('../inside/on/images/index_04.jpg');
    down_index_04 = newImage('../inside/off/images/index_04.jpg');
    over_index_05 = newImage('../inside/on/images/index_05.jpg');
    down_index_05 = newImage('../inside/off/images/index_05.jpg');
    over_index_06 = newImage('../inside/on/images/index_06.jpg');
    down_index_06 = newImage('../inside/off/images/index_06.jpg');
    over_index_07 = newImage('../inside/on/images/index_07.jpg');
    down_index_07 = newImage('../inside/off/images/index_07.jpg');
    over_index_08 = newImage('../inside/on/images/index_08.jpg');
    down_index_08 = newImage('../inside/off/images/index_08.jpg');
    over_index_09 = newImage('../inside/on/images/index_09.jpg');
    down_index_09 = newImage('../inside/off/images/index_09.jpg');
  }
}

function toggleImage(name, state) {
  changeImages(name, '../inside/' + state + '/images/' + name + '.jpg');
  return true;
}