var imglist = new Array (
"images/Nav_Menu_on_01.gif",
"images/Nav_Menu_on_02.gif",
"images/Nav_Menu_on_03.gif",
"images/Nav_Menu_on_04.gif",
"images/Nav_Menu_on_05.gif",
"images/Nav_Menu_on_06.gif",
"images/Nav_Menu_on_07.gif",
"images/Nav_Menu_on_08.gif",
"images/Nav_Menu_on_09.gif"
);
var imgs = new Array() ;
var count;
if (document.images)
  for (count=0; count<imglist.length; count++) 
   {imgs [count] = new Image(); imgs [count] .src=imglist [count];}