//*** Pre-load all the navigation images etc ***
var myimages = new Array();
function PreloadImages()
  {
  for (x=0; x<PreloadImages.arguments.length; x++)
    {
    myimages[x] = new Image();
    myimages[x].src = PreloadImages.arguments[x];
    }
  }
PreloadImages("/images/IS_Logo.gif","/images/icon_processing_small.gif","/images/icon_processing_small_on_blue.gif");