/**
 * File menuAnimations.js
 *
 * Menu animation utilities.
 */

  // preload images to avoid delay when displaying menu
  imgRed = new Image();
  imgRed.src = "images/orange_shadow.gif";
  imgBlue = new Image();
  imgBlue.src = "images/blue_shadow.gif";

  /**
   * Change the specified image with a new one
   */
  function movepic(img_name, img_src)
  {
    document[img_name].src = img_src;
  }

  /**
   * Called onLoad to initialize all menu item bullets with the blue one.
   */
  function initMenuBullets( bulletNamePrefix, numBullets)
  {
    var i;
    var currentImageName;

    for ( i = 1; i <= numBullets; i++) {
      currentImageName = '' + bulletNamePrefix + i;
      document[currentImageName].src = imgBlue.src;
    }
  }