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

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

function loadImage( i )
{
  if( document.images )
  {
    eval( 'menu_' + i + ' = new Image();' );
    eval( 'menu_' + i + '.src = "images/menu_' + 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;' );
}