var gifs = new Array( 2, 3, 4, 5, 6, 7, 8 );

for( var n = 0; n < gifs.length; n++ )
  loadImage( gifs[n], section );

function loadImage( i, s )
{
  if( document.images )
  {
    eval( 'menu_' + i + ' = new Image();' );
    eval( 'menu_' + i + '.src = "/images/menu_' + s + '_' + i + '.gif' + '";' );
    eval( 'menu_over_' + i + ' = new Image();' );
    eval( 'menu_over_' + i + '.src = "/images/menu_over_' + i + '.gif' + '";' );
  }
  else
  {
    eval( 'menu_' + i + ' = "";' );
    eval( 'document.menu_' + i + ' = "";' );
  }
}

function over( i )
{
  if( document.images )
    eval( 'document.m' + i + '.src = menu_over_' + i + '.src;' );
}

function out( i )
{
  if( document.images )
    eval( 'document.m' + i + '.src = menu_' + i + '.src;' );
}